Logo
Benutzer: Gast  Login
Autoren:
Kinder, Johannes; Kravchenko, Dmitry 
Dokumenttyp:
Konferenzbeitrag / Conference Paper 
Titel:
Alternating Control Flow Reconstruction 
Herausgeber Sammlung:
Kuncak, Viktor; Rybalchenko, Andrey 
Titel Konferenzpublikation:
Verification, Model Checking, and Abstract Interpretation 
Untertitel Konferenzpublikation:
13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings 
Reihentitel:
Lecture Notes in Computer Science 
Bandnummer Reihe:
7148 
Konferenztitel:
International Workshop on Verification, Model Checking, and Abstract Interpretation (13., 2012, Philadelphia, PA) 
Tagungsort:
Philadelphia, PA 
Jahr der Konferenz:
2012 
Datum Beginn der Konferenz:
22.01.2012 
Datum Ende der Konferenz:
24.01.2012 
Verlagsort:
Berlin ; Heidelberg 
Verlag:
Springer 
Jahr:
2012 
Seiten von - bis:
267-282 
Sprache:
Englisch 
ISBN:
978-3-642-27940-9 ; 978-3-642-27939-3 
Open Access ja oder nein?:
Nein / No