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

Editors

David J. Duke

This author has not been identified. Look up 'David J. Duke' in Google

Angel R. Puerta

This author has not been identified. Look up 'Angel R. Puerta' in Google