Structured implementation of symbolic execution: A first part in a program verifier
References (8)
A simple axiomatic basis for programming language constructs
Indagat. Mathem.
(1974)Recursive procedures
An interactive program verifier
Assigning meanings to programs
There are more references available in the full text version of this article.
Cited by (0)
Copyright © 1975 Published by Elsevier B.V.