Conference Publication Details
Mandatory Fields
Leino, K. Rustan M. and Monahan, Rosemary
Formal Techniques for Java-Like Programs, ECOOP Workshop, Berlin, Germany, July 2007
Automatic verification of textbook programs that use comprehensions
2007
Published
1
()
Optional Fields
Grant Details