Text
|
Download (246kB) |
 Pre-lecture handout | Pre-lecture print 2x2 |
COMP1216 - Solving Puzzles with Invariants
- "Chameleons of three colours" riddle
| Added By: |
Dr Son Hoang
|
|---|---|
| Date Added: | 21 Mar 2019 12:24 |
| Creators Name: |
Dr Son Hoang
|
| Tags: | software engineering, formal methods |
| Viewing permissions: | University |
| Course codes: | COMP1216 |
| Link: | http://edshare.soton.ac.uk/id/eprint/19874 |
| Downloads & Views |  |
 |
