Stefan Stattelmann
发表
Sebastian Biallas,
Bastian Schlich,
Stephan Sehestedt,
2013
.
Towards Accurate Source-Level Annotation of Low-Level Properties Obtained from Optimized Binary Code
Wolfgang Rosenstiel,
Alexander Viehl,
Oliver Bringmann,
2012
.
Stefan Stattelmann,
2009
.
Stefan Stattelmann,
2013
.
Stefan Stattelmann,
2009
.