(1)
Azab, K.; Habel, A.; Pennemann, K.-H.; Zuckschwerdt, C. ENFORCe: A System for Ensuring Formal Correctness of High-Level Programs.
ECEASST
2007
,
1
.