Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
Jakstab: A Static Analysis Platform for Binaries
Collection editors:
Gupta, Aarti; Malik, Sharad
Title of conference publication:
Computer Aided Verification
Subtitle of conference publication:
20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
Series title:
Lecture Notes in Computer Science
Series volume:
5123
Conference title:
International Conference on Computer Aided Verification (20., 2008, Princeton, NJ)
Conference title:
CAV 2008: Computer Aided Verification
Venue:
Princeton, NJ
Year of conference:
2008
Date of conference beginning:
07.07.2008
Date of conference ending:
14.07.2008
Place of publication:
Berlin ; Heidelberg
Publisher:
Springer
Year:
2008
Pages from - to:
423-427
Language:
Englisch
ISBN:
978-3-540-70545-1 ; 978-3-540-70543-7
Open Access yes or no?:
Ja / Yes
BibTeX