Log In

A proof system for concurrent ADA programs

Files

gerth_84_a proof system for concurrent ada programs.pdf (2.77 MB)

Publication date

1984

Authors

Gerth, R.
Roever, W.P. de

Editors

Advisors

Supervisors

DOI

Document Type

Article

Metadata

Show full item record

Collections

Utrecht University Repository
Open Access logo

License

Abstract

Keywords

Citation

URI

https://dspace.library.uu.nl/handle/1874/23949