%0 Conference Paper %1 conf/vmcai/BeyerHMR07 %A Beyer, Dirk %A Henzinger, Thomas A. %A Majumdar, Rupak %A Rybalchenko, Andrey %B VMCAI %D 2007 %E Cook, Byron %E Podelski, Andreas %I Springer %K %P 378-394 %T Invariant Synthesis for Combined Theories. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2007.html#BeyerHMR07 %V 4349 %@ 978-3-540-69735-0

@inproceedings{conf/vmcai/BeyerHMR07, added-at = {2023-12-12T19:04:41.000+0100}, author = {Beyer, Dirk and Henzinger, Thomas A. and Majumdar, Rupak and Rybalchenko, Andrey}, biburl = {https://www.bibsonomy.org/bibtex/27c698fb9fac8a77daf9e048461b27248/admin}, booktitle = {VMCAI}, crossref = {conf/vmcai/2007}, editor = {Cook, Byron and Podelski, Andreas}, ee = {https://doi.org/10.1007/978-3-540-69738-1_27}, interhash = {1b6bce1f8daeca50def8f538143b224d}, intrahash = {7c698fb9fac8a77daf9e048461b27248}, isbn = {978-3-540-69735-0}, keywords = {}, pages = {378-394}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T19:04:41.000+0100}, title = {Invariant Synthesis for Combined Theories.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2007.html#BeyerHMR07}, volume = 4349, year = 2007 }