author = { Bardin, Sébastien AND Herrmann, Philippe AND Leroux, Jérôme AND Ly, Olivier AND Tabary, Renaud AND Vincent, Aymeric },

title = { Computer Aided Verification: The BINCOA Framework for Binary Code Analysis },

publisher = {Springer Berlin Heidelberg},

isbn = {1611-3349},

isbn = {0302-9743},

year = {2011},

url = { http://slubdd.de/katalog?TN_libero_mab2 }