SE100
Software Engineering Knowledge Catalog
Search
← Catalog
Guarded Commands, Nondeterminacy and Formal Derivation of Programs
Authors:
Dijkstra, E. W.
Published:
1975-08
Computing Foundations
Has Notes
View Original Source