Slides and other course material is available on course pages (available from here) and short(er) talks page. The currently unavailable slides will be made available shortly.
EPIT 2018 Software Verification Spring School
Une École de Printemps en Informatique Théorique
Slides and other course material is available on course pages (available from here) and short(er) talks page. The currently unavailable slides will be made available shortly.