MIGUEL
GÓMEZ-ZAMALLOA GIL
Profesor titular de universidad
Centrum Wiskunde & Informatica
Ámsterdam, HolandaPublicacións en colaboración con investigadores/as de Centrum Wiskunde & Informatica (1)
2014
-
Testing abstract behavioral specifications
International Journal on Software Tools for Technology Transfer, Vol. 17, Núm. 1, pp. 107-119