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

dc.contributor.author	Rosenstiel, Wolfgang
dc.contributor.author	Bringmann, Oliver
dc.date.accessioned	2015-04-02T15:01:51Z
dc.date.available	2015-04-02T15:01:51Z
dc.date.issued	2012
dc.identifier.uri	http://hdl.handle.net/10900/62535
dc.language.iso	en	de_DE
dc.publisher	Springer	de_DE
dc.rights	info:eu-repo/semantics/closedAccess
dc.subject.ddc	004	de_DE
dc.title	Towards Accurate Source-Level Annotation of Low-Level Properties Obtained from Optimized Binary Code	de_DE
dc.type	Article	de_DE
utue.publikation.seiten	175-190	de_DE
utue.personen.roh	Rosenstiel, Wolfgang
utue.personen.roh	Bringmann, Oliver
utue.personen.roh	Stattelmann, Stefan
utue.personen.roh	Viehl, Alexander
dcterms.isPartOf.ZSTitelID	Lecture Notes in Electrical Engineering	de_DE