DK Report 2013-06, M.T. Khan
On the Formal Verification of Maple Programs.
dkreport13-06.pdf — PDF document, 766 KB (784871 bytes)