ENFORCe: A System for Ensuring Formal Correctness of High-level Programs.

Karl Azab Annegret Habel Karl-Heinz Pennemann Christian Zuckschwerdt ENFORCe: A System for Ensuring Formal Correctness of High-level Programs. 2006 1 ECEASST http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/82 db/journals/eceasst/eceasst1.html#AzabHPZ06