%0 Conference Paper %1 conf/esop/GulwaniM08 %A Gulwani, Sumit %A Musuvathi, Madan %B ESOP %D 2008 %E Drossopoulou, Sophia %I Springer %K dblp %P 193-207 %T Cover Algorithms and Their Combination. %U http://dblp.uni-trier.de/db/conf/esop/esop2008.html#GulwaniM08 %V 4960 %@ 978-3-540-78738-9

@inproceedings{conf/esop/GulwaniM08, added-at = {2018-06-26T00:00:00.000+0200}, author = {Gulwani, Sumit and Musuvathi, Madan}, biburl = {https://www.bibsonomy.org/bibtex/24bcf6d0e7566c18bbad20c26aec913fd/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2008}, editor = {Drossopoulou, Sophia}, ee = {https://doi.org/10.1007/978-3-540-78739-6_16}, interhash = {9ced6fdef76c7aa6e8029c065cbd1f47}, intrahash = {4bcf6d0e7566c18bbad20c26aec913fd}, isbn = {978-3-540-78738-9}, keywords = {dblp}, pages = {193-207}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T13:07:40.000+0200}, title = {Cover Algorithms and Their Combination.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2008.html#GulwaniM08}, volume = 4960, year = 2008 }