Conference Publication Details
Mandatory Fields
Leino, K. Rustan M. and Monahan, Rosemary
ECOOP (Summerschool, 9th July 2009, Genoa, Italy)
Program Verification Using the Spec# Programming System.
2009
Published
1
()
Optional Fields
Grant Details