COMP1216 - Lab 6 - Modelling with Relations in Event-B

COMP1216 - Lab 6 - Modelling with Relations in Event-B

Modelling using Relations in Event-B

Added By:	Dr Son Hoang
Date Added:	09 Mar 2019 18:41
Creators Name:	Dr Son Hoang Dr Dana Dghaym
Tags:	formal methods, software engineering
Viewing permissions:	University
Course codes:	COMP1216
Link:	http://edshare.soton.ac.uk/id/eprint/19852
Downloads & Views

Actions (login required)

View Item

Collection(s)

• COMP1216 Software Modelling and Design (AY2020-21)