Azab, K. (2007) “ENFORCe: A System for Ensuring Formal Correctness of High-level Programs”, Electronic Communications of the EASST, 1. doi: 10.14279/tuj.eceasst.1.82.