Conference Publication Details
Mandatory Fields
Leino, K. Rustan M. and Monahan, Rosemary
13th Brazilian Symposium on Formal Methods (SBMF 2010), Brazil 2010
Using Boogie 2 in the Verification of Spec# Programs
2010
Published
1
()
Optional Fields
Grant Details