author = {L. Kovacs},
title = {{Automated Invariant Generation by Algebraic Techniques for Imperative Program Verification in Theorema}},
booktitle = {{Proc. of WING'07, RISC, Austria}},
language = {english},
pages = {56--69},
isbn_issn = {-},
year = {2007},
note = {RISC Report Series No. 07-07},
editor = {M. Giese and T. Jebelean},
refereed = {yes},
length = {14}