%0 Conference Paper %1 conf/sas/ConwayDNB08 %A Conway, Christopher L. %A Dams, Dennis %A Namjoshi, Kedar S. %A Barrett, Clark W. %B SAS %D 2008 %E Alpuente, María %E Vidal, Germán %I Springer %K dblp %P 62-77 %T Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors. %U http://dblp.uni-trier.de/db/conf/sas/sas2008.html#ConwayDNB08 %V 5079 %@ 978-3-540-69163-1

@inproceedings{conf/sas/ConwayDNB08, added-at = {2019-09-25T00:00:00.000+0200}, author = {Conway, Christopher L. and Dams, Dennis and Namjoshi, Kedar S. and Barrett, Clark W.}, biburl = {https://www.bibsonomy.org/bibtex/2bb2ab05c3d9bcf75db367e629942f07e/dblp}, booktitle = {SAS}, crossref = {conf/sas/2008}, editor = {Alpuente, María and Vidal, Germán}, ee = {https://doi.org/10.1007/978-3-540-69166-2_5}, interhash = {1e8cdecd3a40881ceebe7938e6a7ffaf}, intrahash = {bb2ab05c3d9bcf75db367e629942f07e}, isbn = {978-3-540-69163-1}, keywords = {dblp}, pages = {62-77}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T12:36:43.000+0200}, title = {Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2008.html#ConwayDNB08}, volume = 5079, year = 2008 }