Summer School
2010 Summer School
What:
Verification technology, systems & applications
When:
6-10 September, 2010
Where:
University of Luxembourg
2009 Summer School
What:
Verification technology, systems & applications
When:
12-16 October, 2009
Where:
INRIA Center Nancy, France
