%0 Generic
%T Computer Aided Verification: The BINCOA Framework for Binary Code Analysis
%A Bardin, Sébastien
%A Herrmann, Philippe
%A Leroux, Jérôme
%A Ly, Olivier
%A Tabary, Renaud
%A Vincent, Aymeric
%I Springer Berlin Heidelberg
%@ 1611-3349
%@ 0302-9743
%D 2011
%C Springer Berlin Heidelberg
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation