1992
Specification of Manifold : version 1.0
Publication
Publication
| Additional Metadata | |
|---|---|
| CWI | |
| Department of Computer Science [CS] | |
| Organisation | Formal Methods |
|
Arbab, F. (1992). Specification of Manifold : version 1.0. In Department of Computer Science [CS] (R 9220). CWI. |
|