Design, specification and verification of interactive systems '99 : proceedings of the Eurographics Workshop in Brada, Portugal, June 2-4, 1999 / D.J. Duke, A. Puerta (eds.).

Cover image for Design, specification and verification of interactive systems '99 : proceedings of the Eurographics Workshop in Brada, Portugal, June 2-4, 1999 / D.J. Duke, A. Puerta (eds.).

Title:

Design, specification and verification of interactive systems '99 : proceedings of the Eurographics Workshop in Brada, Portugal, June 2-4, 1999 / D.J. Duke, A. Puerta (eds.).

Publication:

Wien : Springer, 1999.

Publication Date:

1999

ISBN:

9783211834053

Content Type:

text

Carrier Type:

volume

Added Author:

Duke, D. J. (David J.)