Logo
Benutzer: Gast  Login
Autoren:
Kinder, Johannes; Veith, Helmut; Zuleger, Florian 
Dokumenttyp:
Konferenzbeitrag / Conference Paper 
Titel:
An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries 
Herausgeber Sammlung:
Jones, Neil D.; Müller-Olm, Markus 
Titel Konferenzpublikation:
Verification, Model Checking, and Abstract Interpretation 
Untertitel Konferenzpublikation:
10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings 
Reihentitel:
Lecture Notes in Computer Science 
Bandnummer Reihe:
5403 
Konferenztitel:
International Workshop on Verification, Model Checking, and Abstract Interpretation (10., 2009, Savannah, GA) 
Tagungsort:
Savannah, GA, USA 
Jahr der Konferenz:
2009 
Datum Beginn der Konferenz:
18.01.2009 
Datum Ende der Konferenz:
20.01.2009 
Verlagsort:
Berlin ; Heidelberg 
Verlag:
Springer 
Jahr:
2009 
Seiten von - bis:
214-228 
Sprache:
Englisch 
ISBN:
978-3-540-93900-9 ; 978-3-540-93899-6