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

Publikationstyp
Buch
Autor(en)
Stattelmann, Stefan and Viehl, Alexander and Bringmann, Oliver and Rosenstiel, Wolfgang
Jahr
2012
Seiten
175--190
Verlag
Springer, New York, NY
Buchtitel
System Specification and Design Languages
Download .bib
Download .bib
Eingetragen von
Alexander Viehl