Martin Dunstan, Tom Kelsey, Steve Linton, Ursula Martin. Lightweight Formal Methods for Computer Algebra Systems. In ISSAC. pages 80-87, 1998. [doi]
@inproceedings{DunstanKLM98, title = {Lightweight Formal Methods for Computer Algebra Systems}, author = {Martin Dunstan and Tom Kelsey and Steve Linton and Ursula Martin}, year = {1998}, doi = {10.1145/281508.281560}, url = {http://doi.acm.org/10.1145/281508.281560}, tags = { algebra}, researchr = {https://researchr.org/publication/DunstanKLM98}, cites = {0}, citedby = {0}, pages = {80-87}, booktitle = {ISSAC}, }