1989
A process specification formalism based on static COLD
Publication
Publication
| Additional Metadata | |
|---|---|
| CWI | |
| Department of Computer Science [CS] | |
|
Baeten, J., Bergstra, J., Mauw, S., & Veltink, G. J. (1989). A process specification formalism based on static COLD. Department of Computer Science [CS]. CWI. |
|