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
Año de publicación: 2014
Volumen: 17
Número: 1
Páginas: 107-119
Tipo: Artículo