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 journal › Article › Academic › peer-review
3
Link opens in a new tab
Citations
(Web of Science)