Instituto de Tecnología del Conocimiento (ITC)
Zentrum/Institut
Grenoble Alpes University
Saint-Martin-d’Hères, FranciaPublikationen in Zusammenarbeit mit Forschern von Grenoble Alpes University (2)
2018
-
MoDeVVa 2018 15
th
workshop on model-driven engineering, verification and validation
CEUR Workshop Proceedings
2017
-
Preface: Special issue on software verification and testing
Journal of Systems and Software