Conference Contribution Details
Mandatory Fields
VSI Benchmarks and their verification in Dafny
Microsoft Research Seminar
MDR Redmond, USA
Oral Presentation
2009
()
Optional Fields
Presentation during Strategic Innovation Fund II: Mobility Research Visit