Buy this book
This work doesn't have a description yet. Can you add one?
Buy this book
| Edition | Availability |
|---|---|
|
1
Intra-modular structuring in model-oriented specification: expressing non-interference with read and write frames.
1995, University of Manchester
in English
|
aaaa
|
Book Details
Edition Notes
Thesis (Ph.D.), University of Manchester, Department of Computer Science.