Steve Linton Lightweight formal methods for computer algebra systems In ISSAC�98: Proc ACM International Symposium on Symbolic and Algebraic Computation‚ Rostock
Martin Dunstan‚ Tom Kelsey and Ursula Martin
Publisher
ACM Press
Year
1998
Martin Dunstan‚ Tom Kelsey and Ursula Martin