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
Any de publicació: 2014
Volum: 17
Número: 1
Pàgines: 107-119
Tipus: Article