%0 Conference Paper %1 conf/vmcai/VizelGSM17 %A Vizel, Yakir %A Gurfinkel, Arie %A Shoham, Sharon %A Malik, Sharad %B VMCAI %D 2017 %E Bouajjani, Ahmed %E Monniaux, David %I Springer %K dblp %P 521-538 %T IC3 - Flipping the E in ICE. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2017.html#VizelGSM17 %V 10145 %@ 978-3-319-52233-3

@inproceedings{conf/vmcai/VizelGSM17, added-at = {2022-01-03T00:00:00.000+0100}, author = {Vizel, Yakir and Gurfinkel, Arie and Shoham, Sharon and Malik, Sharad}, biburl = {https://www.bibsonomy.org/bibtex/27941aab3246e904dac1ba5e9cbe60e58/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2017}, editor = {Bouajjani, Ahmed and Monniaux, David}, ee = {https://doi.org/10.1007/978-3-319-52234-0_28}, interhash = {01e41181e08da6128f59364c3148874e}, intrahash = {7941aab3246e904dac1ba5e9cbe60e58}, isbn = {978-3-319-52233-3}, keywords = {dblp}, pages = {521-538}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T00:33:11.000+0200}, title = {IC3 - Flipping the E in ICE.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2017.html#VizelGSM17}, volume = 10145, year = 2017 }