RISC JKU
  • @inproceedings{RISC3399,
    author = {N. Popov and T. Jebelean},
    title = {{A Prototype Environment for Verification of Recursive Programs}},
    booktitle = {{FORMED'08}},
    language = {english},
    series = {ENTCS},
    pages = {121--130},
    publisher = {Elsevier},
    isbn_issn = {.},
    year = {2008},
    month = {March},
    editor = {Z. Istenes},
    refereed = {yes},
    length = {10},
    conferencename = {Formal Methods in Computer Science Education, Budapest, Hungary}
    }