Text
|
Download (4MB) |
 Introducing Event-B |
COMP1216 - Lecture 07 - Introducing Event-B
Introducing Event-B (Contexts, machines)
| Added By: |
Dr Son Hoang
|
|---|---|
| Date Added: | 23 Feb 2020 23:57 |
| Creators Name: |
Prof Michael Butler
|
| Tags: | software engineering, formal methods |
| Viewing permissions: | University |
| Course codes: | COMP1216 |
| Link: | http://edshare.soton.ac.uk/id/eprint/20319 |
| Downloads & Views |  |
 |
