author = {L. Kovacs and T. Jebelean and N. Popov},
title = {{Verification of Imperative Programs in Theorema}},
booktitle = {{Proceedings of the 1st South-East European Workshop on Formal Methods (SEEFM'03)}},
language = {english},
pages = {140--147},
address = {Thessaloniki, Greece},
isbn_issn = {ISSN: 960-87869-1-6},
year = {2003},
month = {November},
editor = {D. Dranidis and K. Tigka},
refereed = {yes},
length = {8}