Lightweight Formal Methods for Computer Algebra Systems.

Martin Dunstan, Tom W. Kelsey, Steve Linton, Ursula Martin

Browse the full ISSAC paper archive.