h1

h2

h3

h4

h5
h6
%0 Conference Paper
%A Gückel, Dominique
%A Brauer, Jörg
%A Kowalewski, Stefan
%T A System for Synthesizing Abstraction-Enabled Simulators for Binary Code Verification
%C Piscataway, NJ
%I IEEE
%M RWTH-CONV-190384
%P 118-127
%D 2010
%< 2010 International Symposium on Industrial Embedded Systems (SIES 2010) : Trento, Italy, 7 - 9 July 2010 / [University of Trento, Italy; IEEE; IES]
%B 2010 International Symposium on Industrial Embedded Systems
%C 7 Jul 2010 - 9 Jul 2010, Trento (Italy)
Y2 7 Jul 2010 - 9 Jul 2010
M2 Trento, Italy
%F PUB:(DE-HGF)8 ; PUB:(DE-HGF)7
%9 Contribution to a conference proceedingsContribution to a book
%R 10.1109/SIES.2010.5551382
%U https://publications.rwth-aachen.de/record/119226