COMP1216 - Coursework - An Auction System

Loading previews...

Coursework description Text

Download (167kB)

Coursework Event-B sample solution Text

Download (342kB)

Coursework description

Coursework Event-B sample solution

2 files in this resource

COMP1216 - Coursework - An Auction System

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

There are no actions available for this resource.