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

Wednesday
17
Oct
2012
Sunday
14
Oct
2012
Highlight
Teams: 
Highlight description: 

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.