Loopfrog

A Static Analyzer for ANSI-C Programs
Thumbnail
Metadata only
Author
Kroening, Daniel
Sharygina, Natasha
Tonetta, Stefano
Tsitovich, Aliaksei
Wintersteiger, Christoph
Show all
Date
2010
Type
    Conference Poster
Publication status
published
External links
Book title
24th IEEE/ACM International Conference on Automated Software Engineering, 2009
Pages / Article No.
668 - 670
Publisher
IEEE
Event
24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), Auckland, New Zealand, November 16-20, 2009
More
Show all metadata
ETH Bibliography
yes
Altmetrics