Author Search Results

Showing 1 - 1 results of 1 for search 'Kemmerer, Richard A' Skip to content

VuFind

Your Account
Log Out
Institutional Login
Language
- English
- Deutsch
- Español
- Français
- Italiano
- 日本語
- Nederlands
- Português
- Português (Brasil)
- 中文(简体)
- 中文（繁體）
- Türkçe
- עברית
- Gaeilge
- Cymraeg
- Ελληνικά
- Català
- Euskara
- Русский
- Čeština
- Suomi
- Svenska
- polski
- Dansk
- slovenščina
- اللغة العربية
- বাংলা
- Galego
- Tiếng Việt

Advanced

Author
Kemmerer, Richard A

Showing 1 - 1 results of 1 for search 'Kemmerer, Richard A', query time: 0.01s Refine Results

Sort

1

Cover Image

Formal verification of an operating system security kernel /

by Kemmerer, Richard A
Published 1982

Call Number: Loading...
Located: Loading...

Thesis Book

Save to List

Saved in:

Search Tools: Get RSS Feed — Email this Search —

Related Subjects

Access control Computers Operating systems (Computers) UNIX (Computer file)

Loading...