COMP1216 - Coursework - An Auction System

Loading previews...

Coursework description

Text

Download (167kB)

Coursework description

Coursework Event-B sample solution

2 files in this resource

Added By:	Dr Son Hoang
Date Added:	03 Mar 2019 10:59
Creators Name:	Dr Son Hoang
Tags:	software engineering, formal methods
Viewing permissions:	University
Course codes:	COMP1216
Link:	http://edshare.soton.ac.uk/id/eprint/19838
Downloads & Views

Toolbox