ISSE

Search

Program Verification by Symbolic Execution and Induction

M. Heisel, W. Reif, and W. Stephan

Program Verification by Symbolic Execution and Induction

published 1987 K. Morik, editor, 11th German Workshop on Artifical Intelligence. Proceedings

Publisher: Springer Informatik Fachberichte 152