by Jörg Brauer, Andy King
Reference:
Transfer Function Synthesis without Quantifier Elimination (Jörg Brauer, Andy King), In European Symposium on Programming (ESOP 2011), Springer, volume 6602, 2011.
Bibtex Entry:
@inproceedings { BK11a,
author = { Brauer, J{"o}rg and King, Andy },
title = { Transfer Function Synthesis without Quantifier Elimination },
booktitle = { European Symposium on Programming (ESOP 2011) },
i11key = { conference },
publisher = { Springer },
isbn = { 978-3-642-19717-8 },
series = { Lecture Notes in Computer Science },
pages = { 97--115 },
volume = { 6602 },
timestamp = { 2010.12.07 },
year = { 2011 },
url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:bk11.pdf },
for_reporting_period = { 2011 },
}