author = {T. Jebelean and L. Kovacs and N. Popov},
title = {{Experimental Program Verification in the Theorema System}},
language = {english},
journal = {Int. Journal on Software Tools for Technology Transfer (STTT)},
pages = {_--_},
publisher = {Springer},
isbn_issn = { ISSN: 1433-2779 (Paper) 1433-2787 (Online)},
year = {2006},
note = {in press},
refereed = {yes},
length = {9}