| Original language | English |
|---|---|
| State | Published - 1992 |
| Externally published | Yes |
Fingerprint
Dive into the research topics of 'Towards a Verified Code Basis for a Secure Distributed Operating System'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver