Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich. The synergy of precise and fast abstractions for program verification. In Sung Y. Shin, Sascha Ossowski, editors, Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009. pages 566-573, ACM, 2009. [doi]
@inproceedings{SharyginaTT09,
title = {The synergy of precise and fast abstractions for program verification},
author = {Natasha Sharygina and Stefano Tonetta and Aliaksei Tsitovich},
year = {2009},
doi = {10.1145/1529282.1529404},
url = {http://doi.acm.org/10.1145/1529282.1529404},
tags = {program verification, abstraction},
researchr = {https://researchr.org/publication/SharyginaTT09},
cites = {0},
citedby = {0},
pages = {566-573},
booktitle = {Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009},
editor = {Sung Y. Shin and Sascha Ossowski},
publisher = {ACM},
isbn = {978-1-60558-166-8},
}