Specification, Analysis, and Prototyping of Mobile Systems.

Cecilia Mascolo

Browse the full ICSE paper archive.