![]() | ![]() |
| 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 | |
| 1 | Jacques D. Fleuriot | [1] [2] |
| 2 | Gudmund Grov | [4] |
| 3 | Andrew Ireland | [3] [4] |
| 4 | Alan Smaill | [1] [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page