%0 Conference Paper %1 conf/lpar/PietrzakCPH06 %A Pietrzak, Pawel %A Correas, Jesús %A Puebla, Germán %A Hermenegildo, Manuel V. %B LPAR %D 2006 %E Hermann, Miki %E Voronkov, Andrei %I Springer %K dblp %P 392-406 %T Context-Sensitive Multivariant Assertion Checking in Modular Programs. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2006.html#PietrzakCPH06 %V 4246 %@ 3-540-48281-4

@inproceedings{conf/lpar/PietrzakCPH06, added-at = {2017-06-04T00:00:00.000+0200}, author = {Pietrzak, Pawel and Correas, Jesús and Puebla, Germán and Hermenegildo, Manuel V.}, biburl = {https://www.bibsonomy.org/bibtex/2649e8616a9412b5eb7b36429c514a97b/dblp}, booktitle = {LPAR}, crossref = {conf/lpar/2006}, editor = {Hermann, Miki and Voronkov, Andrei}, ee = {https://doi.org/10.1007/11916277_27}, interhash = {b7faac34b5c4315b02f1b086e9cc0e23}, intrahash = {649e8616a9412b5eb7b36429c514a97b}, isbn = {3-540-48281-4}, keywords = {dblp}, pages = {392-406}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:21:54.000+0200}, title = {Context-Sensitive Multivariant Assertion Checking in Modular Programs.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2006.html#PietrzakCPH06}, volume = 4246, year = 2006 }