Alessendro Bogliolo

1 published title

Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-Moby 2005, Bertinoro, Italy April 26-30, 2005 : adv

(Contributor)

1 edition