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]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page