Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

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