The Reconstruction of an Operating System Using a Formal Approach
収録刊行物
-
- Proc. of the Third International Workshop on Software Specification and Design
-
Proc. of the Third International Workshop on Software Specification and Design 1985