ISSE

Search

Machine-Assisted Program Construction and Verification

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

Machine-Assisted Program Construction and Verification

published 1989 13th German Workshop on Artifical Intelligence. Proceedings. number 216 in Springer Informatik Fachberichte 216