Ce site utilise des cookies pour nous aider à vous donner la meilleure expérience lorsque vous visitez notre site Web. En continuant à utiliser ce site, vous consentez à notre utilisation de ces cookies.
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.