Reasoning about comprehensions with first-order SMT solvers
K. Rustan M. Leino, Rosemary Monahan[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]
Proceedings of the 2009 ACM Symposium on Applied Computing
SAC '09
Honolulu, Hawaii
Association for Computing Machinery
New York, NY, USA
Pages 615-622
2009
Topic(s): tools verification
Note(s): spec-sharp-project, SMT solver
SAC '09
Honolulu, Hawaii
Association for Computing Machinery
New York, NY, USA
Pages 615-622
2009
Topic(s): tools verification
Note(s): spec-sharp-project, SMT solver