Ewen Maclean

	2011
4		Ewen Maclean, Andrew Ireland, Gudmund Grov: The CORE system: Animation and functional correctness of pointer programs. ASE 2011: 588-591
3		Ewen Maclean, Andrew Ireland: Mutation in Linked Data Structures. ICFEM 2011: 275-290
	2002
2		Ewen Maclean, Jacques D. Fleuriot, Alan Smaill: Proof planning Non-standard Analysis. AMAI 2002
1		Ewen Maclean, Jacques D. Fleuriot, Alan Smaill: Proof planning Non-standard Analysis. ISAIM 2002

Coauthor Index

1	Jacques D. Fleuriot	[1] [2]
2	Gudmund Grov	[4]
3	Andrew Ireland	[3] [4]
4	Alan Smaill	[1] [2]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page