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

23:00
Sunday
18
Dec
2016
Highlight
  • Special books and numbers
Teams: 
Highlight description: 

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.