Publicaciones en colaboración con investigadores/as de Grenoble Alpes University (2)

2018

  1. MoDeVVa 2018 15 th workshop on model-driven engineering, verification and validation

    CEUR Workshop Proceedings

2017

  1. Preface: Special issue on software verification and testing

    Journal of Systems and Software