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
Ausgabe
106
Seiten
175--190
Verlag
Springer New York
Reihentitel
Lecture Notes in Electrical Engineering
ISBN
978-1-4614-1426-1
Buchtitel
System Specification and Design Languages
Bearbeiter
Kazmierski, Tom J. and Morawiec, Adam
Link
\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
Eingetragen von