TO
1 - 25 of 1
| Date | Author | Title | Department | Publication Type | ||
|---|---|---|---|---|---|---|
| 1 |
 | 2010-12 | Li, Guodong | Formal verification of programs and their transformations | Computing | dissertation |
1 - 25 of 1
| Date | Author | Title | Department | Publication Type | ||
|---|---|---|---|---|---|---|
| 1 |
| 2010-12 | Li, Guodong | Formal verification of programs and their transformations | Computing | dissertation |