Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/aplas/ValdiviezoCK14
%A Valdiviezo, Manuel
%A Cifuentes, Cristina
%A Krishnan, Padmanabhan
%B APLAS
%D 2014
%E Garrigue, Jacques
%I Springer
%K dblp
%P 196-215
%T A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking.
%U http://dblp.uni-trier.de/db/conf/aplas/aplas2014.html#ValdiviezoCK14
%V 8858
%@ 978-3-319-12735-4
@inproceedings{conf/aplas/ValdiviezoCK14,
added-at = {2017-05-19T00:00:00.000+0200},
author = {Valdiviezo, Manuel and Cifuentes, Cristina and Krishnan, Padmanabhan},
biburl = {https://www.bibsonomy.org/bibtex/2045b66a57b1f2108570b0a96adb020dc/dblp},
booktitle = {APLAS},
crossref = {conf/aplas/2014},
editor = {Garrigue, Jacques},
ee = {https://doi.org/10.1007/978-3-319-12736-1_11},
interhash = {564c198aa56d5353eb4013ef4ee258fd},
intrahash = {045b66a57b1f2108570b0a96adb020dc},
isbn = {978-3-319-12735-4},
keywords = {dblp},
pages = {196-215},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T12:42:10.000+0200},
title = {A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking.},
url = {http://dblp.uni-trier.de/db/conf/aplas/aplas2014.html#ValdiviezoCK14},
volume = 8858,
year = 2014
}