Lightweight Formal Methods for Computer Algebra Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Martin Dunstan, Tom Kelsey, Steve Linton, Ursula Martin. Lightweight Formal Methods for Computer Algebra Systems. In ISSAC. pages 80-87, 1998. [doi]

This author has not been identified. Look up 'Martin Dunstan' in GoogleThis author has not been identified. Look up 'Tom Kelsey' in GoogleThis author has not been identified. Look up 'Steve Linton' in GoogleThis author has not been identified. Look up 'Ursula Martin' in Google

runs on WebDSL