@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}
}
Extending the Reach and Power of Deductive Program Verification
| Autor(en): | Vladimir Klebanov |
|---|---|
| Hochschule: | Universität Koblenz-Landau |
| Jahr: | 2009 |