Publicacions en què col·labora amb Gwen Salaün (2)

2017

  1. Preface: Special issue on software verification and testing

    Journal of Systems and Software

2016

  1. Special track on software verification and testing

    Proceedings of the ACM Symposium on Applied Computing