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}