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
Argitalpen urtea: 2014
Alea: 17
Zenbakia: 1
Orrialdeak: 107-119
Mota: Artikulua