| changeset 233 | e0a7ee9842d6 |
| parent 202 | 7cfc83879fc9 |
| 232:8f89170bb076 | 233:e0a7ee9842d6 |
|---|---|
141 volume = {12}, |
141 volume = {12}, |
142 pages = {177--209} |
142 pages = {177--209} |
143 } |
143 } |
144 |
144 |
145 |
145 |
146 @phdthesis{Zammit99, |
|
147 author = {V.~Zammit}, |
|
148 title = {{O}n the {R}eadability of {M}achine {C}heckable {F}ormal {P}roofs}, |
|
149 year = {1999}, |
|
150 school = {University of Kent}} |
|
151 |