Conference Contribution Details
Mandatory Fields
Program verification using the Spec# Programming System
European conference on Object-Oriented Programming 2009
Genova, Italy
Oral Presentation
2009
()
Optional Fields