"Correctness-by-Construction and Post-hoc Verification: A Marriage of ..."

Bruce W. Watson et al. (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics