← Catalog

Guarded Commands, Nondeterminacy and Formal Derivation of Programs

Authors: Dijkstra, E. W.
Published: 1975-08
Computing Foundations Has Notes