Nondeterministic flowchart programs with recursive procedures: Semantics and correctness II*
Under an Elsevier user license
open archive
Cited by (0)
- *
This research was supported by the National Science Foundation under Grant No. DCR-74-15901 and MCS-77-11360.
Copyright © 1981 Published by Elsevier B.V.