author = {L. Kovacs and T. Jebelean},
title = {{Practical Aspects of Imperative Program Verification in Theorema}},
language = {english},
journal = {Analele Universitatii din Timisoara, Seria Matematica - Informatica},
volume = {XLI},
pages = {135--154},
publisher = {Mirton Publisher},
address = {Timisoara, Romania},
isbn_issn = {ISSN 1224-970X},
year = {2003},
annote = {2003-10-04-A},
note = {special issue on Computer Science - Proceedings of SYNASC'03},
refereed = {yes},
length = {20}