Login / Signup

Nondeterministic Flowchart Programs with Recursive Procedures: Semantics and Correctness I.

Jean H. Gallier
Published in: Theor. Comput. Sci. (1981)
Keyphrases