Azab, K., Habel, A., Pennemann, K.-H., & Zuckschwerdt, C. (2007). ENFORCe: A System for Ensuring Formal Correctness of High-level Programs. Electronic Communications of the EASST, 1. https://doi.org/10.14279/tuj.eceasst.1.82