| |
| 1999 | ||
|---|---|---|
| 4 | EE | Vincent Zammit: On the Implementation of an Extensible Declarative Proof Language. TPHOLs 1999: 185-202 |
| 1997 | ||
| 3 | Vincent Zammit: A Comparative Study of Coq and HOL. TPHOLs 1997: 323-337 | |
| 1996 | ||
| 2 | Vincent Zammit: A Mechanisation of Computability Theory in HOL. TPHOLs 1996: 431-446 | |
| 1994 | ||
| 1 | Juanito Camilleri, Vincent Zammit: Symbolic Animation as a Proof Tool. TPHOLs 1994: 113-127 | |
| 1 | Juanito Camilleri | [1] |