1993
Isomorphisms between predicate and state transformers
Publication
Publication
Additional Metadata | |
---|---|
CWI | |
Department of Computer Science [CS] | |
Organisation | Computer Systems & Telematics |
Bonsangue, M., & Kok, J. (1993). Isomorphisms between predicate and state transformers. Department of Computer Science [CS]. CWI. |