Testing abstract behavioral specifications

Peter Y. H. Wong, Richard Bubel, Frank S. de Boer, Miguel Gómez-Zamalloa, Stijn de Gouw, Reiner Hähnle, Karl Meinke, Muddassar Azam Sindhu

Research output: Contribution to journalArticleAcademicpeer-review

3 Citations (Web of Science)


Dive into the research topics of 'Testing abstract behavioral specifications'. Together they form a unique fingerprint.

Engineering & Materials Science