A sound and complete Hoare axiomatization of the ADA-rendezvous (extended abstract.)
Publication date
1982
Authors
Gerth, R.T.
Editors
Advisors
Supervisors
DOI
Document Type
Report
Metadata
Show full item recordCollections
License
Abstract
Keywords
Wiskunde en Informatica (WIIN), Mathematics, Informatica, Landbouwwetenschappen, Natuurwetenschappen, Ordered by external client
Citation
Gerth, R T 1982, A sound and complete Hoare axiomatization of the ADA-rendezvous (extended abstract.). vol. 82-05, RUU-CS edn, Unknown Publisher, Utrecht. < http://www.cs.uu.nl/research/techreps/RUU-CS-82-05.html >