COMP2214 - Tutorial 5 - Extension Refinement with Guard Modification
Added By: | |
---|---|
Date Added: | 03 Mar 2019 22:57 |
Creators Name: | |
Tags: | software engineering, formal methods |
Viewing permissions: | University |
Course codes: | COMP2214 |
Link: | http://edshare.soton.ac.uk/id/eprint/19840 |
Downloads & Views | ![]() |
Actions (login required)
![]() |
View Item |
Toolbox
There are no actions available for this resource.