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