%0 Conference Paper %1 conf/pldi/MollerS01 %A Møller, Anders %A Schwartzbach, Michael I. %B PLDI %D 2001 %E Burke, Michael %E Soffa, Mary Lou %I ACM %K dblp %P 221-231 %T The Pointer Assertion Logic Engine. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2001.html#MollerS01 %@ 1-58113-414-2

@inproceedings{conf/pldi/MollerS01, added-at = {2021-07-25T00:00:00.000+0200}, author = {Møller, Anders and Schwartzbach, Michael I.}, biburl = {https://www.bibsonomy.org/bibtex/2c4722cc6ca7587af2243c1f68e086f76/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2001}, editor = {Burke, Michael and Soffa, Mary Lou}, ee = {https://doi.org/10.1145/381694.378851}, interhash = {c813320a6c6befd529c9e03de897d954}, intrahash = {c4722cc6ca7587af2243c1f68e086f76}, isbn = {1-58113-414-2}, keywords = {dblp}, pages = {221-231}, publisher = {ACM}, timestamp = {2024-04-09T18:59:22.000+0200}, title = {The Pointer Assertion Logic Engine.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2001.html#MollerS01}, year = 2001 }