Interactive Systems: Design, Specification, and Verification: 1st Eurographics Workshop Bocca Di Magra, Italy, June 1994 (Focus on Computer Graphics) by Fabio Paterno | Menrva Books | MenrvaBooks