Normal view MARC view

International Conference on Integrated Formal Methods (11th : 2014 : Bertinoro, Italy) (Meeting Name)

Number of records used in: 1
Preferred form: International Conference on Integrated Formal Methods (11th : 2014 : Bertinoro, Italy)

Machine generated authority record.

Work cat.: (AT-ISTA): International Conference on Integrated Formal Methods (11th : 2014 : Bertinoro, Italy), Integrated formal methods :

Powered by Koha