Statistics
Publications
1
Citations
17
H-Index
1
Active since
1998
Affiliations
University of St Andrews(Current)
Martin Dunstan is an author at University of St Andrews specializing in computational algebra, formal methods, and computer science.
Publications per year
1998–1998
1
1
Lightweight formal methods for computer algebra systems
Martin Dunstan, Tom Kelsey, Steve Linton et al. · 1998 · 17 citations
Computing, Computer Science, Algebra +13
1–1 of 1