%0 Conference Paper %1 conf/fmcad/McMillan11 %A McMillan, Kenneth L. %B FMCAD %D 2011 %E Bjesse, Per %E Slobodová, Anna %I FMCAD Inc. %K dblp %P 19-27 %T Interpolants from Z3 proofs. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2011.html#McMillan11 %@ 978-0-9835678-1-3

@inproceedings{conf/fmcad/McMillan11, added-at = {2021-08-09T00:00:00.000+0200}, author = {McMillan, Kenneth L.}, biburl = {https://www.bibsonomy.org/bibtex/29947668b09b40fee88d7aeb7fc356156/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2011}, editor = {Bjesse, Per and Slobodová, Anna}, ee = {https://ieeexplore.ieee.org/document/6148898/}, interhash = {fe30d321eae16c03d0dd0357610a5e49}, intrahash = {9947668b09b40fee88d7aeb7fc356156}, isbn = {978-0-9835678-1-3}, keywords = {dblp}, pages = {19-27}, publisher = {FMCAD Inc.}, timestamp = {2024-04-09T23:58:38.000+0200}, title = {Interpolants from Z3 proofs.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2011.html#McMillan11}, year = 2011 }