Loading previews...
Archive
|
Download (23kB) |
 Tut05_SecureDB.zip | Tut05_AccessControl_sol.zip | Tut05_SecureDB_sol.zip | Tut05_AccessControl.zip |  Sample Solution |
COMP2214 - Problem Class 05 - Extension Refinement with Guard Modification
| Added By: |
Dr Son Hoang
|
|---|---|
| Date Added: | 03 Mar 2019 22:57 |
| Creators Name: |
Dr Son Hoang
|
| 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 |