L'équipe VASCO co-organisatrice de la conférence IsoLA 2012

Jeudi
18
Oct
2012
Lundi
15
Oct
2012
Fait marquant
Équipes : 
Description du fait marquant : 

Yliès Falcone (équipe VASCO) et Lenore D. Zuck (University of Chicago) ont organisé et présidé le comité de programme du trackRuntime Verification: the Application Perspective qui s'est déroulé durant la conférence IsoLA 2012 (5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation) à Heraklion en Crète le 15-18 octobre 2012.