by Jörg Brauer, Volker Kamin, Stefan Kowalewski, Thomas Noll
Reference:
Loop Refinement using Octagons and Satisfiability (Jörg Brauer, Volker Kamin, Stefan Kowalewski, Thomas Noll), In Proceedings of the 5th international conference on Systems software verification, USENIX Association, 2010.
Bibtex Entry:
@inproceedings { BKKN10, author = { Brauer, J{"o}rg and Kamin, Volker and Kowalewski, Stefan and Noll, Thomas }, title = { Loop Refinement using Octagons and Satisfiability }, booktitle = { Proceedings of the 5th international conference on Systems software verification }, year = { 2010 }, location = { Vancouver, BC, Canada }, pages = { 1--9 }, timestamp = { 2010.07.19 }, publisher = { USENIX Association }, address = { Berkeley, CA, USA }, url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:bkkn10.pdf }, i11key = { conference }, i11projectkey = { Arcade }, for_reporting_period = { 2010 }, }