Login
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
URL zum Inhalt:
Open Access ja oder nein?:
Nein / No
BibTeX
PDF