APA (7th ed.) Citation

Paterno, F. (1995). Interactive systems: Design, specification, and verification : 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994. Springer.

Chicago Style (17th ed.) Citation

Paterno, Fabio. Interactive Systems: Design, Specification, and Verification : 1st Eurographics Workshop, Bocca Di Magra, Italy, June 1994. Berlin: Springer, 1995.

MLA (9th ed.) Citation

Paterno, Fabio. Interactive Systems: Design, Specification, and Verification : 1st Eurographics Workshop, Bocca Di Magra, Italy, June 1994. Springer, 1995.