Steffen Schlager. Symbolic execution as a framework for deductive verification of object-oriented programs. PhD thesis, Karlsruhe Institute of Technology, 2007.
@phdthesis{de-3047, title = {Symbolic execution as a framework for deductive verification of object-oriented programs}, author = {Steffen Schlager}, year = {2007}, note = {http://d-nb.info/985502401}, researchr = {https://researchr.org/publication/de-3047}, cites = {0}, citedby = {0}, school = {Karlsruhe Institute of Technology}, }