author = {L. Kovacs},
title = {{Verification of Imperative Programs in Theorema}},
language = {english},
year = {2004},
translation = {0},
school = {West University of Timisoara, Romania},
length = {0},
type = {Diploma Thesis}