%0 Conference Paper %1 conf/vstte/DurejaLPVR19 %A Dureja, Rohit %A Li, Jianwen %A Pu, Geguang %A Vardi, Moshe Y. %A Rozier, Kristin Y. %B VSTTE %D 2019 %E Chakraborty, Supratik %E Navas, Jorge A. %I Springer %K dblp %P 180-192 %T Intersection and Rotation of Assumption Literals Boosts Bug-Finding. %U http://dblp.uni-trier.de/db/conf/vstte/vstte2019.html#DurejaLPVR19 %V 12031 %@ 978-3-030-41600-3

@inproceedings{conf/vstte/DurejaLPVR19, added-at = {2020-03-16T00:00:00.000+0100}, author = {Dureja, Rohit and Li, Jianwen and Pu, Geguang and Vardi, Moshe Y. and Rozier, Kristin Y.}, biburl = {https://www.bibsonomy.org/bibtex/23eee884ba1b4056a7a3fa6e2ba4de7fb/dblp}, booktitle = {VSTTE}, crossref = {conf/vstte/2019}, editor = {Chakraborty, Supratik and Navas, Jorge A.}, ee = {https://doi.org/10.1007/978-3-030-41600-3_12}, interhash = {d1e780ccb3a1da6e69c04a038937fd8d}, intrahash = {3eee884ba1b4056a7a3fa6e2ba4de7fb}, isbn = {978-3-030-41600-3}, keywords = {dblp}, pages = {180-192}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-03-17T11:59:59.000+0100}, title = {Intersection and Rotation of Assumption Literals Boosts Bug-Finding.}, url = {http://dblp.uni-trier.de/db/conf/vstte/vstte2019.html#DurejaLPVR19}, volume = 12031, year = 2019 }