Automatic Abstraction for Intervals using Boolean Formulae

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

Bookmark the permalink.