International School on Formal Methods for the Design of Computer, Communication, and Software Systems (5th 2005 Bertinoro, Italy) profile picture

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (5th 2005 Bertinoro, Italy)

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Formal methods for mobile computing