Normal view MARC view

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (14th : 2014 : Bertinoro, Italy) (Meeting Name)

Number of records used in: 1
Preferred form: International School on Formal Methods for the Design of Computer, Communication, and Software Systems (14th : 2014 : Bertinoro, Italy)

Machine generated authority record.

Work cat.: (AT-ISTA): International School on Formal Methods for the Design of Computer, Communication, and Software Systems (14th : 2014 : Bertinoro, Italy), Formal methods for executable software models :

Powered by Koha