Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User Study.

Tobias Runge, Thomas Thm, Loek Cleophas, Ina Schaefer, Bruce W. Watson

Browse the full FM paper archive.