Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience?
['Bruce W. Watson', 'Derrick G. Kourie', 'Ina Schaefer', 'Loek G. Cleophas']
Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience?