%0 Conference Paper %1 conf/popl/GodefroidNRT10 %A Godefroid, Patrice %A Nori, Aditya V. %A Rajamani, Sriram K. %A Tetali, SaiDeep %B POPL %D 2010 %E Hermenegildo, Manuel V. %E Palsberg, Jens %I ACM %K dblp %P 43-56 %T Compositional may-must program analysis: unleashing the power of alternation. %U http://dblp.uni-trier.de/db/conf/popl/popl2010.html#GodefroidNRT10 %@ 978-1-60558-479-9

@inproceedings{conf/popl/GodefroidNRT10, added-at = {2021-06-22T00:00:00.000+0200}, author = {Godefroid, Patrice and Nori, Aditya V. and Rajamani, Sriram K. and Tetali, SaiDeep}, biburl = {https://www.bibsonomy.org/bibtex/2d5ecb6c05bb5ad2ccebe48eac30f08ef/dblp}, booktitle = {POPL}, crossref = {conf/popl/2010}, editor = {Hermenegildo, Manuel V. and Palsberg, Jens}, ee = {https://doi.org/10.1145/1707801.1706307}, interhash = {db750a59641c03900b3c3bbf3e4e7863}, intrahash = {d5ecb6c05bb5ad2ccebe48eac30f08ef}, isbn = {978-1-60558-479-9}, keywords = {dblp}, pages = {43-56}, publisher = {ACM}, timestamp = {2024-04-09T13:30:49.000+0200}, title = {Compositional may-must program analysis: unleashing the power of alternation.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2010.html#GodefroidNRT10}, year = 2010 }