Skip to main content

A Theory of Non−determinism

C.A.R. Hoare and J.R. Kennaway

Book Title
Proceedings ICALP '80
Pages
338−350
Publisher
Springer−Verlag‚ Lecture Notes In Computer Science‚ No. 85
Year
1980