author = {M. Erascu and T. Jebelean},}
title = {{Overview of the Imperative Recursive Program Analysis Methods in Theorema Group}},
language = {english},
year = {2010},
month = {18.11.2010},
note = {Contributed talk at Austrian-Hungarian Bilateral Project},
institution = {Faculty of Informatics, Eotvos Lorand University, Budapest, Hungary},
conferencename = {Austrian-Hungarian Bilateral Project}