Text
|
Download (343kB) |
 Descriptions |  Base for SPARK/Ada (Part B) (updated 5/4/25) |
COMP2214 - Coursework (AY2024-25)
MULTI elevator coursework
| Added By: |
Dr Son Hoang
|
|---|---|
| Date Added: | 24 Feb 2025 00:20 |
| Creators Name: |
Dr Son Hoang
|
| Tags: | formal methods, software engineering, Event-B, SPARK/Ada |
| Viewing permissions: | University |
| Course codes: | COMP2214 |
| Link: | http://edshare.soton.ac.uk/id/eprint/22223 |
| Downloads & Views |  |
 |
