![](/img/cover-not-exists.png)
[IEEE 2009 24th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Auckland, New Zealand (2009.11.16-2009.11.20)] 2009 IEEE/ACM International Conference on Automated Software Engineering - Loopfrog: A Static Analyzer for ANSI-C Programs
Kroening, Daniel, Sharygina, Natasha, Tonetta, Stefano, Tsitovich, Aliaksei, Wintersteiger, Christoph M.Year:
2009
Language:
english
DOI:
10.1109/ase.2009.35
File:
PDF, 410 KB
english, 2009