Text
|
Download (321kB) |
 Sample solution |  Sample solution Rodin archive | Problem | Tut04_Registration.zip |
COMP2214 - Problem Class 04 - Fixing models using failing proofs
Fixing models using failing proofs
| Added By: |
Dr Son Hoang
|
|---|---|
| Date Added: | 24 Feb 2019 10:29 |
| Creators Name: |
Dr Son Hoang
|
| Tags: | software engineering, formal methods |
| Viewing permissions: | University |
| Course codes: | COMP2214 |
| Link: | http://edshare.soton.ac.uk/id/eprint/19828 |
| Downloads & Views |  |
 |
