Wong, Peter Y. H. and Bubel, Richard and Boer, Frank S. de and Gómez Zamalloa, Miguel and Gouw, Stijn de and Hähnle, Reiner and Meinke, Karl and Sindhu, Muddassar Azam (2015) Testing abstract behavioral specifications. International Journal on Software Tools for Technology Transfer, 17 (1). pp. 107-119. ISSN 1433-2779
![[up]](/style/images/multi_up.png)
Up a level
