Inproceedings,
Loopfrog: A Static Analyzer for ANSI-C Programs.
D. Kroening, N. Sharygina, S. Tonetta, A. Tsitovich, and C. Wintersteiger.ASE, page 668-670. IEEE Computer Society, (2009)
Meta data
- BibTeX key
- conf/kbse/KroeningSTTW09
- entry type
- inproceedings
- booktitle
- ASE
- year
- 2009
- pages
- 668-670
- publisher
- IEEE Computer Society
- crossref
- conf/kbse/2009
- ee
- https://doi.ieeecomputersociety.org/10.1109/ASE.2009.35
- isbn
- 978-0-7695-3891-4
- url
- http://dblp.uni-trier.de/db/conf/kbse/ase2009.html#KroeningSTTW09
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/kbse/KroeningSTTW09
%A Kroening, Daniel
%A Sharygina, Natasha
%A Tonetta, Stefano
%A Tsitovich, Aliaksei
%A Wintersteiger, Christoph M.
%B ASE
%D 2009
%I IEEE Computer Society
%K dblp
%P 668-670
%T Loopfrog: A Static Analyzer for ANSI-C Programs.
%U http://dblp.uni-trier.de/db/conf/kbse/ase2009.html#KroeningSTTW09
%@ 978-0-7695-3891-4
@inproceedings{conf/kbse/KroeningSTTW09,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Kroening, Daniel and Sharygina, Natasha and Tonetta, Stefano and Tsitovich, Aliaksei and Wintersteiger, Christoph M.},
biburl = {https://www.bibsonomy.org/bibtex/291b7cacd059004a3db3e2c2e683a72cc/dblp},
booktitle = {ASE},
crossref = {conf/kbse/2009},
ee = {https://doi.ieeecomputersociety.org/10.1109/ASE.2009.35},
interhash = {4623cf7cbd5166995b358669b6f29ce9},
intrahash = {91b7cacd059004a3db3e2c2e683a72cc},
isbn = {978-0-7695-3891-4},
keywords = {dblp},
pages = {668-670},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T04:49:49.000+0200},
title = {Loopfrog: A Static Analyzer for ANSI-C Programs.},
url = {http://dblp.uni-trier.de/db/conf/kbse/ase2009.html#KroeningSTTW09},
year = 2009
}