Normal view
MARC view
International School on Formal Methods for the Design of Computer, Communication and Software Systems. (11th : 2011 : Bertinoro, Italy ) (Meeting Name)
Machine generated authority record.
Work cat.: ()945819: Formal Methods for Eternal Networked Software Systems, 2011.
