Symbolic execution as a framework for deductive verification of object-oriented programs

Steffen Schlager. Symbolic execution as a framework for deductive verification of object-oriented programs. PhD thesis, Karlsruhe Institute of Technology, 2007.

No reviews for this publication, yet.