V. Sengès
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1995
Validating interactive system design through the verification of formal task and system models.
Proceedings of the Engineering for Human-Computer Interaction, 1995