KIT | KIT-Bibliothek | Impressum | Datenschutz
Scopus
Zitationen: 7

Precise Analysis of Java Programs using JOANA

Giffhorn, Dennis; Hammer, Christian



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Jahr 2008
Sprache Englisch
Identifikator ISBN: 978-0-7695-3353-7
KITopen ID: 1000017608
Erschienen in Proceedings of the 8th IEEE International Working Conference on Source Code Analysis and Manipulation. Ed.: S. Kawada
Verlag IEEE Computer Society, Los Alamitos (Calif.)
Seiten 267 - 268
Projektinformation KASTEL I (BMBF, 01BY1172 / 16BY1172)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page