Normal view
MARC view
Computer software Congresses (Topical Term)
Machine generated authority record
Work cat.: (OSt)16666: International School on Formal Methods for the Design of Computer, Communication, and Software Systems (5th : 2005 : Bertinoro, Italy) 37585, Formal methods for mobile computing :, c2005.