Volker Kamin, Thomas Noll. Loop Refinement Using Octagons and Satisfiability. In Ralf Huuck, Gerwin Klein, Bastian Schlich, editors, 5th International Workshop on Systems Software Verification, SSV'10, Vancouver, BC, Canada, October 6-7, 2010. USENIX Association, 2010. [doi]
@inproceedings{KaminN10,
title = {Loop Refinement Using Octagons and Satisfiability},
author = {Volker Kamin and Thomas Noll},
year = {2010},
url = {https://www.usenix.org/conference/ssv10/loop-refinement-using-octagons-and-satisfiability},
researchr = {https://researchr.org/publication/KaminN10},
cites = {0},
citedby = {0},
booktitle = {5th International Workshop on Systems Software Verification, SSV'10, Vancouver, BC, Canada, October 6-7, 2010},
editor = {Ralf Huuck and Gerwin Klein and Bastian Schlich},
publisher = {USENIX Association},
}