@phdthesis{Klebanov2009, author = {Vladimir Klebanov}, title = {Extending the reach and power of deductive program verification}, type = {doctoralthesis}, pages = {XVIII, 174}, school = {Universit{\"a}t Koblenz-Landau, Campus Koblenz, Universit{\"a}tsbibliothek}, year = {2009}, }