Azab, Karl, Annegret Habel, Karl-Heinz Pennemann, and Christian Zuckschwerdt. 2007. “ENFORCe: A System for Ensuring Formal Correctness of High-Level Programs”. Electronic Communications of the EASST 1 (July). https://doi.org/10.14279/tuj.eceasst.1.82.