Skip to main content

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