Conference Publication Details
Mandatory Fields
Leino, K. Rustan M. and Monahan, Rosemary
24th Annual ACM Symposium on Applied Computing
Reasoning about Comprehensions with First-Order SMT Solvers
2009
Published
1
()
Optional Fields
Grant Details