Vincent Zammit

	1999
4		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

Coauthor Index

1

Juanito Camilleri

[1]