A proof system for concurrent ADA programs
Publication date
1983
Authors
Gerth, R.T.
de Roever, W-P
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 & de Roever, W-P 1983, A proof system for concurrent ADA programs. vol. 83-02, RUU-CS edn, Unknown Publisher, Utrecht. < http://www.cs.uu.nl/research/techreps/RUU-CS-83-02.html >