%0 Conference Paper %1 conf/tacas/MannIGPB21 %A Mann, Makai %A Irfan, Ahmed %A Griggio, Alberto %A Padon, Oded %A Barrett, Clark W. %B TACAS (1) %D 2021 %E Groote, Jan Friso %E Larsen, Kim Guldstrand %I Springer %K dblp %P 113-132 %T Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2021-1.html#MannIGPB21 %V 12651 %@ 978-3-030-72016-2

@inproceedings{conf/tacas/MannIGPB21, added-at = {2021-05-14T00:00:00.000+0200}, author = {Mann, Makai and Irfan, Ahmed and Griggio, Alberto and Padon, Oded and Barrett, Clark W.}, biburl = {https://www.bibsonomy.org/bibtex/2fbbcfaed8bb06c1c9b2532d2f8f3989a/dblp}, booktitle = {TACAS (1)}, crossref = {conf/tacas/2021-1}, editor = {Groote, Jan Friso and Larsen, Kim Guldstrand}, ee = {https://doi.org/10.1007/978-3-030-72016-2_7}, interhash = {f384a4408e153f944a42a6f02dfb5ace}, intrahash = {fbbcfaed8bb06c1c9b2532d2f8f3989a}, isbn = {978-3-030-72016-2}, keywords = {dblp}, pages = {113-132}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:56:41.000+0200}, title = {Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2021-1.html#MannIGPB21}, volume = 12651, year = 2021 }