Conference Publication Details
Mandatory Fields
Leino, K. Rustan M. and Monahan, Rosemary
ETAPS (Spec# Tutorial, Budapest, Hungary, March 2008)
Program Verification Using the Spec# Programming System
2008
Published
1
()
Optional Fields
Grant Details