COMP2214 - Proof rules

Loading previews...

Proof rules (AY2021-22)

Text

Download (107kB)

Proof rules (AY2021-22)

1 file in this resource

Some useful proof rules

Added By:	Dr Son Hoang
Date Added:	30 Jan 2019 22:10
Creators Name:	Dr Son Hoang
Tags:	software engineering, formal methods
Viewing permissions:	University
Course codes:	COMP2214
Link:	http://edshare.soton.ac.uk/id/eprint/19738
Downloads & Views

Toolbox