Loading previews...
Text
|
Download (217kB) |
 Solution |  Tut01_PropLogic_sol.zip | Tut01_Challenge_sol.zip | Problem | Tut01_PropLogic.zip |
COMP2214 - Problem Class 01 - Deductive Proof (Propositional Logic)
Exercises for Propositional Logic Proof in Rodin Platform
| Added By: |
Dr Son Hoang
|
|---|---|
| Date Added: | 01 Feb 2021 12:15 |
| 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/20804 |
| Downloads & Views |  |
Actions (login required)
 |
View Item |