Design specification and verification of interactive systems '97
Work detail
Bookitis PickDS
Design specification and verification of interactive systems '97
Juan Carlos TorresMichael D. HarrisonEurographics Workshop (1997 Granada, Spain)First published 19973 editions
This page groups all known editions belonging to the same underlying work.
Overview
Shared work-level identity and catalog context.
First publish date 19973 credited authorsSearch language english
Contributors
People credited with this work in the active catalog.
- Open Author
Juan Carlos Torres
- Open Author
Michael D. Harrison
- Open Author
Eurographics Workshop (1997 Granada, Spain)
Editions
Publication-specific versions linked to this work only.
- DSDesign, specification, and veri...
Design, specification, and verification of interactive systems '97
- DSDesign, Specification And Verif...Michael D. Harrison, Juan Carlos Torres
Design, Specification And Verification Of Interactive Systems '97
- DSDesign specification and verifi...Eurographics Workshop (1997 Granada, Spain)
Design specification and verification of interactive systems '97