Formal methods for mobile computing by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (5th 2005 Bertinoro, Italy) | Menrva Books