author = {L. Kovacs},
title = {{Automated Invariant Generation by Algebraic Techniques for Imperative Program Verification in Theorema}},
language = {english},
year = {2007},
month = {October},
note = {RISC Technical Report No. 07-16},
translation = {0},
school = {RISC, Johannes Kepler University Linz, Austria},
length = {179},
type = {phdthesis}