Cited By
View all- Stattelmann SViehl ABringmann ORosenstiel W(2011)Towards Accurate Source-Level Annotation of Low-Level Properties Obtained from Optimized Binary CodeSystem Specification and Design Languages10.1007/978-1-4614-1427-8_11(175-190)Online publication date: 8-Nov-2011
- Haubelt CTeich JHaubelt CTeich J(2010)SystemverifikationDigitale Hardware/Software-Systeme10.1007/978-3-642-05356-6_8(451-522)Online publication date: 20-May-2010