@phdthesis{Klebanov09,
	Author = {V. Klebanov},
	School = {Department of Computer Science, Universit{\"a}t Koblenz-Landau, Germany},
	Title = {Extending the Reach and Power of Deductive Program Verification},
	Year = 2009}

{"_id":"ctM7nWu7vnp4vRkbt","bibbaseid":"klebanov-extendingthereachandpowerofdeductiveprogramverification-2009","authorIDs":[],"author_short":["Klebanov, V."],"bibdata":{"bibtype":"phdthesis","type":"phdthesis","author":[{"firstnames":["V."],"propositions":[],"lastnames":["Klebanov"],"suffixes":[]}],"school":"Department of Computer Science, Universität Koblenz-Landau, Germany","title":"Extending the Reach and Power of Deductive Program Verification","year":"2009","bibtex":"@phdthesis{Klebanov09,\n\tAuthor = {V. Klebanov},\n\tSchool = {Department of Computer Science, Universit{\\\"a}t Koblenz-Landau, Germany},\n\tTitle = {Extending the Reach and Power of Deductive Program Verification},\n\tYear = 2009}\n\n","author_short":["Klebanov, V."],"key":"Klebanov09","id":"Klebanov09","bibbaseid":"klebanov-extendingthereachandpowerofdeductiveprogramverification-2009","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"phdthesis","biburl":"http://utwente-fmt.github.io/vercors/references.bib","creationDate":"2019-07-02T12:17:56.518Z","downloads":0,"keywords":[],"search_terms":["extending","reach","power","deductive","program","verification","klebanov"],"title":"Extending the Reach and Power of Deductive Program Verification","year":2009,"dataSources":["7Z8XEkSJX2s636QcA"]}