Azab, Karl, Annegret Habel, Karl-Heinz Pennemann, and Christian Zuckschwerdt. “ENFORCe: A System for Ensuring Formal Correctness of High-Level Programs”. Electronic Communications of the EASST 1 (July 2, 2007). Accessed November 23, 2024. https://eceasst.org/index.php/eceasst/article/view/1386.