Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Jakstab: A Static Analysis Platform for Binaries
Herausgeber Sammlung:
Gupta, Aarti; Malik, Sharad
Titel Konferenzpublikation:
Computer Aided Verification
Untertitel Konferenzpublikation:
20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
Reihentitel:
Lecture Notes in Computer Science
Bandnummer Reihe:
5123
Konferenztitel:
International Conference on Computer Aided Verification (20., 2008, Princeton, NJ)
Konferenztitel:
CAV 2008: Computer Aided Verification
Tagungsort:
Princeton, NJ
Jahr der Konferenz:
2008
Datum Beginn der Konferenz:
07.07.2008
Datum Ende der Konferenz:
14.07.2008
Verlagsort:
Berlin ; Heidelberg
Verlag:
Springer
Jahr:
2008
Seiten von - bis:
423-427
Sprache:
Englisch
ISBN:
978-3-540-70545-1 ; 978-3-540-70543-7
URL zum Inhalt:
Open Access ja oder nein?:
Ja / Yes
BibTeX