M.T. Khan and W. Schreiner, A Verification Framework for MiniMaple Programs.
ACM Communications in Computer Algebra, 47(3), ?-?, 2013, Accepted extended abstract from ISSAC 2013 poster presentation.
poster2013.pdf
—
PDF document,
183 KB (188372 bytes)