Ten years of Hoare s logic, part II: nondeterminism

Additional Metadata
Publisher	Stichting Mathematisch Centrum
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Apt, K. (1983). Ten years of Hoare s logic, part II: nondeterminism.

See Also
article Ten years of Hoare s logic, a survey, part II: n ondeterminism K.R. Apt (Krzysztof)
article Ten years of Hoare s logic, a survey, part II: n ondeterminism K.R. Apt (Krzysztof)

Publication