RISC RISC Research Institute for Symbolic Computation  
  • @techreport{RISC1447,
    author = {Martin Kirchner},
    title = {{Program Verification with the Mathematical Software System Theorema}},
    number = {99-16},
    year = {1999},
    month = {July},
    note = {Diploma Thesis, FHS Hagenberg. Also available as Mathematica notebook ftp://ftp.risc.uni-linz.ac.at/pub/techreports/1999/99-16.nb.gz},
    keywords = {program verification, verification condition generator, mathematical education},
    type = {RISC Report Series},
    institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
    address = {Schloss Hagenberg, 4232 Hagenberg, Austria}