author = {L. Kovacs and T. Jebelean},
title = {{Combining Computer Algebra and Computational Logic for Imperative Program Verification in Theorema}},
language = {english},
year = {2006},
month = {July 6-9},
conferencename = {Calculemus'06, Genova, Italy}