author = {N. Popov and T. Jebelean},
title = {{Verification of Mutual Recursive Functional Programs}},
booktitle = {{Proceedings of Workshop on Symbolic Computation in Software Science SCSS'09}},
language = {english},
pages = {120--122},
address = {Carthage, Tunisia},
isbn_issn = {.},
year = {2009},
month = {September},
editor = {T. Ida and A. Bouhoula},
refereed = {yes},
length = {15}