RISC JKU
  • @incollection{RISC4342,
    author = {N. Popov and T. Jebelean},
    title = {{Sound and Complete Verification Condition Generator for Functional Recursive Programs.}},
    booktitle = {{Numerical and Symbolic Scientific Computing: Progress and Prospects}},
    language = {english},
    pages = {219--256},
    publisher = {Springer},
    address = {Wien},
    isbn_issn = {ISBN 978-3-7091-0793-5},
    year = {2011},
    editor = {U. Langer and P. Paule},
    refereed = {yes},
    length = {38}
    }