Lightweight Formal Methods for Computer Algebra Systems

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings of the International Symposium on Symbolic and Algebraic Computation
Publisher	ACM
Pages	80-87
Number of pages	8
Publication status	Published - 1998

Handle.net

@inproceedings{0f430e5a725b45dba1a62d8b90f96812,

title = "Lightweight Formal Methods for Computer Algebra Systems",

author = "Martin, \{Ursula Hilda Mary\} and MN Dunstan and Kelsey, \{Thomas William\} and Linton, \{Stephen Alexander\}",

note = "ACM International Symposium on Symbolic and Algebraic Computation (ISSAC '98)",

year = "1998",

language = "English",

pages = "80--87",

booktitle = "Proceedings of the International Symposium on Symbolic and Algebraic Computation",

publisher = "ACM",

address = "United States",

}

TY - GEN

T1 - Lightweight Formal Methods for Computer Algebra Systems

AU - Martin, Ursula Hilda Mary

AU - Dunstan, MN

AU - Kelsey, Thomas William

AU - Linton, Stephen Alexander

N1 - ACM International Symposium on Symbolic and Algebraic Computation (ISSAC '98)

PY - 1998

Y1 - 1998

UR - https://www.scopus.com/pages/publications/0032514316

UR - http://www.acm.org/pubs/citations/proceedings/issac/281508/p80-dunstan/

M3 - Conference contribution

SP - 80

EP - 87

BT - Proceedings of the International Symposium on Symbolic and Algebraic Computation

PB - ACM

ER -