author = {L. Kovacs and T. Jebelean},
title = {{Practical Aspects of Imperative Program Verification in Theorema}},
booktitle = {{Proceedings of SYNASC 2003, 5th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing Timisoara}},
language = {english},
pages = {317--320},
publisher = {Mirton Publisher},
address = {Timisoara, Romania},
isbn_issn = {ISBN: 973-661-104-3},
year = {2003},
month = {1-4 October},
annote = {2003-10-01-B},
editor = {D. Petcu and V. Negru and D. Zaharie and T. Jebelean},
refereed = {yes},
length = {4}