Interactive Systems: Design, Specification and Verification: 1st Eurographics Workshop, Bocca Di Magra, Italy, June 1994

• Authors:

• Fabio Paterno;W. T. Hewitt;W. Hansmann

• Affiliations:

• -;-;-

• Venue:
• Interactive Systems: Design, Specification and Verification: 1st Eurographics Workshop, Bocca Di Magra, Italy, June 1994
• Year:
• 1995