Inproceedings,
Automatic Predicate Abstraction of C Programs.
T. Ball, R. Majumdar, T. Millstein, and S. Rajamani.PLDI, page 203-213. ACM, (2001)
Meta data
- BibTeX key
- conf/pldi/BallMMR01
- entry type
- inproceedings
- booktitle
- PLDI
- year
- 2001
- pages
- 203-213
- publisher
- ACM
- crossref
- conf/pldi/2001
- ee
- https://doi.org/10.1145/381694.378846
- isbn
- 1-58113-414-2
- url
- http://dblp.uni-trier.de/db/conf/pldi/pldi2001.html#BallMMR01
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/pldi/BallMMR01
%A Ball, Thomas
%A Majumdar, Rupak
%A Millstein, Todd D.
%A Rajamani, Sriram K.
%B PLDI
%D 2001
%E Burke, Michael
%E Soffa, Mary Lou
%I ACM
%K dblp
%P 203-213
%T Automatic Predicate Abstraction of C Programs.
%U http://dblp.uni-trier.de/db/conf/pldi/pldi2001.html#BallMMR01
%@ 1-58113-414-2
@inproceedings{conf/pldi/BallMMR01,
added-at = {2024-07-09T00:00:00.000+0200},
author = {Ball, Thomas and Majumdar, Rupak and Millstein, Todd D. and Rajamani, Sriram K.},
biburl = {https://www.bibsonomy.org/bibtex/21af009f7df4d515250eaa2b4e66348ad/dblp},
booktitle = {PLDI},
crossref = {conf/pldi/2001},
editor = {Burke, Michael and Soffa, Mary Lou},
ee = {https://doi.org/10.1145/381694.378846},
interhash = {e5c742fc5fdbbb58584c62ff728f641d},
intrahash = {1af009f7df4d515250eaa2b4e66348ad},
isbn = {1-58113-414-2},
keywords = {dblp},
pages = {203-213},
publisher = {ACM},
timestamp = {2024-07-15T07:14:02.000+0200},
title = {Automatic Predicate Abstraction of C Programs.},
url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2001.html#BallMMR01},
year = 2001
}