Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

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}
}