Conference Contribution Details
Mandatory Fields
The Spec# Programming System
The Jave Modeling Language (JML) Dagstuhl
Dagstuhl, Germany
Oral Presentation
2009
()
Optional Fields