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
Pages
175--190
Publisher
Springer, New York, NY
Book title
System Specification and Design Languages
Download .bib
Download .bib
Published by
Alexander Viehl