Design, Specification and Verification of Interactive Systems 99, Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999

David J. Duke, Angel R. Puerta, editors, Design, Specification and Verification of Interactive Systems 99, Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999. Springer, 1999.

Conference: DSVIS1999

Abstract

Abstract is missing.

Table of Contents