Interactive Systems: Design, Specification, and Verification: 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994 by Fabio Paterno | Menrva Books | MenrvaBooks