Search CORE

4 research outputs found

A note on compositional refinement

Author: Coenen J.A.A.
Roever de, W.P.
Zwiers J.
Publication venue: Technische Universiteit Eindhoven
Publication date: 01/01/1992
Field of study

Pure OAI Repository

A note on compositional refinement

Author: Coenen J.A.A.
Roever de, W.P.
Zwiers J.
Publication venue: Technische Universiteit Eindhoven
Publication date: 01/01/1992
Field of study

Pure OAI Repository

A Note on Compositional Refinement

Author: CR Hoare
CR Hoare
KM Chandy
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1992
Field of study

Refining data to processes, in proceedings VDM'90

Author: Zwiers Jakob
Publication venue
Publication date: 01/01/1990
Field of study

University of Twente Research Information

core

core