author = {L. Kovacs and T. Jebelean and A. Kovacs},
title = {{Practical Aspects of Algebraic Invariant Generation for Loops with Conditionals}},
booktitle = {{Bulletins for Applied and Computer Mathematics, Pannonian Applied Mathematical Meetings, PC-147/148}},
language = {english},
pages = {----},
publisher = {Technical University of Budapest, PAMM-Centre},
address = {Balatonalmadi, Hungary},
isbn_issn = {-},
year = {2005},
month = {26-29 May},
editor = {F.Fazekas et al},
refereed = {yes},
length = {10}