Media type: E-Article Title: Computer Aided Verification: The BINCOA Framework for Binary Code Analysis Contributor: Bardin, Sébastien; Herrmann, Philippe; Leroux, Jérôme; Ly, Olivier; Tabary, Renaud; Vincent, Aymeric imprint: Springer Berlin Heidelberg, 2011 Published in: Computer Aided Verification Language: Not determined DOI: 10.1007/978-3-642-22110-1_13 ISSN: 1611-3349; 0302-9743 Origination: Footnote: