author = {N. Popov and T. Jebelean},
title = {{Functional Program Verification in Theorema. Soundness and Completeness}},
booktitle = {{Proceedings of 15th Biennial Workshop on Programmiersprachen und Grundlagen der Programmierung KPS'09}},
language = {english},
pages = {221--229},
address = {Maria Taferl, Austria},
isbn_issn = {.},
year = {2009},
month = {October},
editor = {J. Knoop and A. Prantl},
refereed = {yes},
length = {9}