Extending the Reach and Power of Deductive Program Verification

Doktorarbeit

Autor(en):Vladimir Klebanov
Hochschule:Universität Koblenz-Landau
Jahr: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}
}