On verification of programs with goto statements
References (7)
- et al.
Proof rules for gotos
Acta Informatica
(1979) Goto statements
- et al.
Program proving: jumps and functions
Acta Informatica
(1972)
There are more references available in the full text version of this article.
Cited by (0)
Copyright © 1984 Published by Elsevier B.V.