MARÍA DE LAS MERCEDES
GARCÍA MERAYO
Catedrática de universidad
Gwen
Salaün
Publications dans lesquelles il/elle collabore avec Gwen Salaün (2)
2017
-
Preface: Special issue on software verification and testing
Journal of Systems and Software
2016
-
Special track on software verification and testing
Proceedings of the ACM Symposium on Applied Computing