Loopfrog: A Static Analyzer for ANSI-C Programs
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Daniel Kröning, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger
Loopfrog: A Static Analyzer for ANSI-C Programs
ASE, 2009.

ASE 2009
Full names Links ISxN
	author        = "Daniel Kröning and Natasha Sharygina and Stefano Tonetta and Aliaksei Tsitovich and Christoph M. Wintersteiger",
	booktitle     = "{Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering}",
	doi           = "10.1109/ASE.2009.35",
	isbn          = "978-0-7695-3891-4",
	pages         = "668--670",
	publisher     = "{IEEE Computer Society}",
	title         = "{Loopfrog: A Static Analyzer for ANSI-C Programs}",
	year          = 2009,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.