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
| URL: http://wwwen.uni.lu/snt/education/summer_school | Date: Thursday May 24 2012 06:37:57 am |