Lightweight formal methods for computer algebra systems

Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

Volumn , Issue , 1998, Pages 80-87

  Dunstan, Martin ^a   Kelsey, Tom ^a   Linton, Steve ^a   Martin, Ursula ^a  

^a UNIVERSITY OF ST ANDREWS   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; CODES (SYMBOLS); COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SYSTEMS; INTERFACES (COMPUTER); PROGRAM DIAGNOSTICS;

COMPUTER ALGEBRA SYSTEMS; SOFTWARE PACKAGE ALDOR; SOFTWARE PACKAGE AXIOM;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0032514316     PISSN: None     EISSN: None     Source Type: None    
DOI: 10.1145/281508.281560     Document Type: Article

References (17)