Intra-modular structuring in model-oriented specification
expressing non-interference with read and write frames.
Edición de la obra Intra-modular structuring in model-oriented specification
| Autor | Juan C. Bicarregui |
|---|---|
| Editorial | University of Manchester |
| Fecha de publicación | 1995 |
| Lugar | Manchester |
| Idioma | inglés |
| Páginas | 234 |
| Número de Cutter | B583i |