Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Precise Static Analysis of Untrusted Driver Binaries
Titel Sammlung:
Proceedings 10th International Conference Formal Methods in Computer-Aided Design (FMCAD)
Konferenztitel:
International Conference Formal Methods in Computer-Aided Design (10., 2010, Lugano)
Tagungsort:
Lugano, Switzerland
Jahr der Konferenz:
2010
Datum Beginn der Konferenz:
20.10.2010
Datum Ende der Konferenz:
23.10.2010
Verlagsort:
Piscataway
Verlag:
IEEE
Jahr:
2010
Seiten von - bis:
43-50
Sprache:
Englisch
ISBN:
978-0-9835678-0-6 ; 978-1-4577-0734-6
Open Access ja oder nein?:
Ja / Yes
BibTeX