Design, specification, and verification of interactive systems (workshop session)

• Authors:

• Philippe Palanque;Fabio Paternò

• Affiliations:

• LIHS, Univ. Toulouse I, Place Anatole France, F-31042, Toulouse Cedex, France;CNUCE-CNR, Via V. Alfieri, 1, 56010 Ghezzano, Pisa, Italy

• Venue:
• Proceedings of the 22nd international conference on Software engineering
• Year:
• 2000