M. T. Khan. Formal Specification and Verification of Computer Algebra Software.
PhD Thesis, submitted 2014. Examiners: Wolfgang Schreiner, Renaud Rioboo.
Khan Dissertation 2014.pdf
—
PDF document,
1.98 MB (2077201 bytes)