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 },
}