Loading previews...| Text | Download (193kB) |
 coursework2-description.pdf |
COMP1216 - Coursework 2 (2020-21)
Description of Coursework 2 for COMP1216 (2020-21)
| Added By: |
Dr Son Hoang
|
|---|---|
| Date Added: | 12 May 2020 14:14 |
| Creators Name: |
Prof Michael Butler
Dr Asieh Salehi Fathabadi
Dr Son Hoang
Dr Yvonne Howard
|
| Tags: | formal methods, software engineering, Event-B, modelling |
| Viewing permissions: | University |
| Course codes: | COMP1216 |
| Link: | http://edshare.soton.ac.uk/id/eprint/20430 |
| Downloads & Views |  |
 |