author = {L. Kovacs and N. Popov and T. Jebelean},
title = {{Combining Logic and Algebraic Techniques for Program Verification in Theorema}},
booktitle = {{Proceedings ISOLA 2006}},
language = {english},
pages = {59--68},
publisher = {IEEE},
address = {Paphos, Cyprus},
isbn_issn = {ISBN 978-0-7695-3071-0},
year = {2006},
month = {November},
editor = {T. Margaria and A. Philippou and B. Steffen},
refereed = {yes},
length = {8},
conferencename = {Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2006)}