COMP2214 - Problem Class 00 - Introduction to the Rodin Platform

Loading previews...

Instructions

Text

Download (258kB)

Instructions

1 file in this resource

Added By:	Dr Son Hoang
Date Added:	31 Jan 2021 16:50
Creators Name:	Dr Son Hoang
Tags:	formal methods, software engineering, Event-B
Viewing permissions:	University
Course codes:	COMP2214
Link:	http://edshare.soton.ac.uk/id/eprint/20803
Downloads & Views

Toolbox

There are no actions available for this resource.