Testing abstract behavioral specifications
- Wong, P.Y.H.
- Bubel, R.
- de Boer, F.S.
- Gómez-Zamalloa, M.
- de Gouw, S.
- Hähnle, R.
- Meinke, K.
- Sindhu, M.A.
ISSN: 1433-2787, 1433-2779
Datum der Publikation: 2014
Ausgabe: 17
Nummer: 1
Seiten: 107-119
Art: Artikel