Testing abstract behavioral specifications

  1. Wong, P.Y.H.
  2. Bubel, R.
  3. de Boer, F.S.
  4. Gómez-Zamalloa, M.
  5. de Gouw, S.
  6. Hähnle, R.
  7. Meinke, K.
  8. Sindhu, M.A.
Revista:
International Journal on Software Tools for Technology Transfer

ISSN: 1433-2787 1433-2779

Año de publicación: 2014

Volumen: 17

Número: 1

Páginas: 107-119

Tipo: Artículo

DOI: 10.1007/S10009-014-0301-X GOOGLE SCHOLAR