"Experience with correctness-by-construction."

Bruce W. Watson, Derrick G. Kourie, Loek G. Cleophas (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics