Extending the Reach and Power of Deductive Program Verification. Klebanov, V. Ph.D. Thesis, Department of Computer Science, Universität Koblenz-Landau, Germany, 2009.
bibtex   
@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}

Downloads: 0