by Jörg Brauer, Andy King
Reference:
Automatic Abstraction for Intervals using Boolean Formulae (Jörg Brauer, Andy King), In Static Analysis Symposium (SAS 2010), Perpignan, France, Springer, volume 6337, 2010.
Bibtex Entry:
@inproceedings { BK10, author = { Brauer, J{"o}rg and King, Andy }, title = { Automatic Abstraction for Intervals using Boolean Formulae }, booktitle = { Static Analysis Symposium (SAS 2010), Perpignan, France }, publisher = { Springer }, series = { Lecture Notes in Computer Science }, year = { 2010 }, volume = { 6337 }, pages = { 167--183 }, timestamp = { 2010.05.04 }, url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:bk10.pdf }, i11key = { conference }, i11projectkey = { Arcade }, for_reporting_period = { 2010 }, }