Gwen Salaün - Preface: Special Issue on Software Verification and Testing (SAC-SVT'15)

23:00
Dimanche
18
Déc
2016
Fait marquant
Équipes : 
Description du fait marquant : 

Preface: Special Issue on Software Verification and Testing (Selected Papers from SAC-SVT'15) 
Gwen Salaün and Mariëlle Stoelinga
Science of Computer Programming 132(2), 2016.