| Text | Download (1MB) |
 COMP1216-introEventB.pdf |
Introduction to Formal Methods & Event-B
| Added By: |
Dr Dana Dghaym
|
|---|---|
| Date Added: | 28 Feb 2023 12:16 |
| Creators Name: | |
| Viewing permissions: | University |
| Course codes: | COMP1216 |
| Link: | http://edshare.soton.ac.uk/id/eprint/21668 |
| Downloads & Views |  |
 |
