Martin Dunstan

	2001
3		Andrew Adams, Martin Dunstan, Hanne Gottliebsen, Tom Kelsey, Ursula Martin, Sam Owre: Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS. TPHOLs 2001: 27-42
	1999
2		Martin Dunstan, Tom Kelsey, Ursula Martin, Steve Linton: Formal Methods for Extensions to CAS. World Congress on Formal Methods 1999: 1758-1777
	1998
1		Martin Dunstan, Tom Kelsey, Steve Linton, Ursula Martin: Lightweight Formal Methods for Computer Algebra Systems. ISSAC 1998: 80-87

Coauthor Index

1	Andrew Adams	[3]
2	Hanne Gottliebsen	[3]
3	Tom Kelsey	[1] [2] [3]
4	Steve Linton	[1] [2]
5	Ursula Martin	[1] [2] [3]
6	Sam Owre	[3]