@inproceedings{,
    author = {Kinder, Johannes; Kravchenko, Dmitry},
    title = {Alternating Control Flow Reconstruction},
    editor = {Kuncak, Viktor; Rybalchenko, Andrey},
    booktitle = {Verification, Model Checking, and Abstract Interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings},
    series = { Lecture Notes in Computer Science},
    journal = {},
    address = {Berlin ; Heidelberg},
    publisher = {Springer},
    edition = {},
    year = {2012},
    isbn = {978-3-642-27940-9 ; 978-3-642-27939-3},
    volume = {7148},
    number =  {},
    pages = {267-282},
    url = {https://doi.org/10.1007/978-3-642-27940-9_18},
    doi = {10.1007/978-3-642-27940-9_18},
    keywords = {},
    abstract = {},
    note = {},
    
    
    
}