Loopfrog: A Static Analyzer for ANSI-C Programs
Informazioni aggiuntive
Autori
Kröning D.,
Sharygina N.,
Tonetta S.,
Tsitovich A.,
Wintersteiger C. M.
Tipo
Contributo in atti di convegno
Anno
2009
Lingua
Inglese
Titolo atti di convegno
The 24th IEEE/ACM International Conference on Automated Software Engineering
Editore
IEEE Computer Society
Luogo convegno
Auckland, New Zealand
Pagine (o numero dell’articolo)
668-670
