Book
Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience?
| Title: | Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience? |
|---|---|
| Authors: | Watson, Bruce W., Kourie, Derrick G., Schaefer, Ina, Cleophas, Loek |
| Source: | Leveraging Applications of Formal Methods, Verification & Validation: Foundational Techniques; 2016, p730-748, 19p |
| DOI: | 10.1007/978-3-319-47166-2_52 |
| Database: | Complementary Index |
Availability