- CSB - MetaPress - Google - Bing - Yahoo
 | 2001 | |
|---|---|---|
| c3 |      | 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 | ||
| c2 | | Martin Dunstan, Tom Kelsey, Ursula Martin, Steve Linton: Formal Methods for Extensions to CAS. World Congress on Formal Methods 1999: 1758-1777 |
| 1998 | ||
| c1 | | Martin Dunstan, Tom Kelsey, Steve Linton, Ursula Martin: Lightweight Formal Methods for Computer Algebra Systems. ISSAC 1998: 80-87 |
| 1 | Andrew Adams | |
| 2 | Hanne Gottliebsen | |
| 3 | Tom Kelsey | |
| 4 | Steve Linton | |
| 5 | Ursula Martin | |
| 6 | Sam Owre |
Data released under the ODC-BY 1.0 license — See also our legal information page