Extending the Reach and Power of Deductive Program Verification

PhD Thesis

Author(s):Vladimir Klebanov
School:Universität Koblenz-Landau
Year:2009

BibTeX

@phdthesis{Klebanov09,
    author = {Vladimir Klebanov},
    title = {Extending the Reach and Power of Deductive Program Verification},
    school = {Universit{\"a}t Koblenz-Landau},
    year = {2009},
    month = jun,
    address = {},
    language = {eng}
}