Preface: Special issue on software verification and testing
- Merayo, M.G.
- Salaün, G.
Zeitschrift:
Journal of Systems and Software
ISSN: 0164-1212
Datum der Publikation: 2017
Ausgabe: 132
Seiten: 317-318
Art: Verlag