|
CITIDEL >
Syllabus Collection >
Syllabus >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/10117/7131
|
| Title: | Axiomatic Correctness |
| Authors: | W & M Computer Science |
| Issue Date: | |
| Publisher: | W & M Computer Science |
| Citation: | http://www.cs.wm.edu/~noonan/cs312/syllabus/correctness/ |
| Abstract: | |
| URI: | http://www.citidel.org/handle/10117/7131 |
| Appears in Collections: | Syllabus
|
Files in This Item:
| File |
Size | Format |
|---|
| 52-correctness | 0Kb | Unknown | View/Open |
|
All items in DSpace are protected by copyright, with all rights reserved.
|
Computing and Information Technology Interactive Digital Educational Library