Lightweight formal methods for computer algebra systems
Martin Dunstan‚ Tom Kelsey‚ Steve Linton and Ursula Martin
Book Title
Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Organisation
ACM
Pages
80–87
Year
1998