Towards Accurate Source-Level Annotation of Low-Level Properties Obtained from Optimized Binary Code

Resource type
Book
Author(s)
Stattelmann, Stefan and Viehl, Alexander and Bringmann, Oliver and Rosenstiel, Wolfgang
Year
2012
Volume
106
Pages
175--190
Publisher
Springer New York
Series
Lecture Notes in Electrical Engineering
ISBN
978-1-4614-1426-1
Book title
System Specification and Design Languages
Editor
Kazmierski, Tom J. and Morawiec, Adam
Online Sources
\urlhttp://dx.doi.org/10.1007/978-1-4614-1427-8\_11
DOI
\url10.1007/978-1-4614-1427-8\_11
Download .bib
Download .bib
Published by