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

Mercredi
17
Oct
2012
Dimanche
14
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.