%0 Conference Paper %1 conf/cav/ChinGVLCQ11 %A Chin, Wei-Ngan %A Gherghina, Cristian %A Voicu, Razvan %A Le, Quang Loc %A Craciun, Florin %A Qin, Shengchao %B CAV %D 2011 %E Gopalakrishnan, Ganesh %E Qadeer, Shaz %I Springer %K dblp %P 293-309 %T A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification. %U http://dblp.uni-trier.de/db/conf/cav/cav2011.html#ChinGVLCQ11 %V 6806 %@ 978-3-642-22109-5

@inproceedings{conf/cav/ChinGVLCQ11, added-at = {2018-10-03T00:00:00.000+0200}, author = {Chin, Wei-Ngan and Gherghina, Cristian and Voicu, Razvan and Le, Quang Loc and Craciun, Florin and Qin, Shengchao}, biburl = {https://www.bibsonomy.org/bibtex/29812ce77c4804fcf0f4f39a03d4199d3/dblp}, booktitle = {CAV}, crossref = {conf/cav/2011}, editor = {Gopalakrishnan, Ganesh and Qadeer, Shaz}, ee = {https://doi.org/10.1007/978-3-642-22110-1_23}, interhash = {de4fe2031bcd595d7bd247be04c424c9}, intrahash = {9812ce77c4804fcf0f4f39a03d4199d3}, isbn = {978-3-642-22109-5}, keywords = {dblp}, pages = {293-309}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:38:32.000+0200}, title = {A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2011.html#ChinGVLCQ11}, volume = 6806, year = 2011 }