author = {T. Jebelean and L. Kovacs and N. Popov},
title = {{Experimental Program Verification in the Theorema System}},
booktitle = {{Proceedings ISOLA 2004}},
language = {english},
pages = {92--99},
address = {Paphos, Cyprus},
year = {2004},
month = {November},
editor = {T. Margaria and B. Steffen},
refereed = {yes},
institution = {University of Cyprus},
length = {8},
conferencename = {International Symposium on Leveraging Applications of Formal Methods ISOLA 2004}