author = {Muhammad Taimoor Khan and Wolfgang Schreiner},
title = {{Towards the Formal Specification and Verification of Maple Programs}},
booktitle = {{Intelligent Computer Mathematics}},
language = {english},
series = {Lecture Notes in Artificial Intelligence (LNAI)},
volume = {7362},
pages = {231--247},
publisher = {Springer-Verlag},
address = {Berlin/Heidelberg},
isbn_issn = {ISBN 978-3-642-31373-8},
year = {2012},
month = {July},
annote = {The original publication is available at www.springerlink.com},
note = {Awarded with a Best Student Paper Award},
editor = {Johan Jeuring and John A. Campbell and Jacques Carette and Gabriel Dos Reis and Petr Sojka and Makarius Wenzel and Volker Sorge},
refereed = {yes},
sponsor = {Austrian Science Fund (FWF)},
length = {17},
url = {http://www.springerlink.com}