RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
  • @incollection{RISC4539,
    author = {Muhammad Taimoor Khan and Wolfgang Schreiner},
    title = {{On Formal Specification of Maple Programs}},
    booktitle = {{Intelligent Computer Mathematics}},
    language = {english},
    series = {Lecture Notes in Artificial Intelligence (LNAI)},
    volume = {7362},
    pages = {442--446},
    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},
    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 = {5},
    url = {http://www.springerlink.com}
    }