author = {Muhammad Taimoor Khan and Wolfgang Schreiner},
title = {{A Verification Framework for MiniMaple Programs}},
language = {english},
year = {2013},
month = {June},
institution = {Doktoratskolleg, Johannes Kepler University, Linz, Austria},
sponsor = {FWF},
conferencename = {38th International Symposium on Symbolic and Algebraic Computation (ISSAC)},
url = {http://www.issac-conference.org/2013/index.html}