A note on compositional refinement

J. Zwiers; J.A.A. Coenen; W.P. Roever, de

A note on compositional refinement

J. Zwiers
, J.A.A. Coenen
, W.P. Roever, de

Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings 5th BCS-FACS Refinement Workshop (London, UK, January 8-10, 1992)
Editors	C.B. Jones, R.C. Shaw, T. Denvir
Place of Publication	Berlin
Publisher	Springer
Pages	342-366
ISBN (Print)	3-540-19752-4
Publication status	Published - 1992

Publication series

Name	Workshops in Computing

Cite this

@inproceedings{0031de55774242e7924396524639df3a,

title = "A note on compositional refinement",

author = "J. Zwiers and J.A.A. Coenen and \{Roever, de\}, W.P.",

year = "1992",

language = "English",

isbn = "3-540-19752-4",

series = "Workshops in Computing",

publisher = "Springer",

pages = "342--366",

editor = "C.B. Jones and R.C. Shaw and T. Denvir",

booktitle = "Proceedings 5th BCS-FACS Refinement Workshop (London, UK, January 8-10, 1992)",

address = "Germany",

}

A note on compositional refinement. / Zwiers, J.; Coenen, J.A.A.; Roever, de, W.P.
Proceedings 5th BCS-FACS Refinement Workshop (London, UK, January 8-10, 1992). ed. / C.B. Jones; R.C. Shaw; T. Denvir. Berlin: Springer, 1992. p. 342-366 (Workshops in Computing).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - A note on compositional refinement

AU - Zwiers, J.

AU - Coenen, J.A.A.

AU - Roever, de, W.P.

PY - 1992

Y1 - 1992

M3 - Conference contribution

SN - 3-540-19752-4

T3 - Workshops in Computing

SP - 342

EP - 366

BT - Proceedings 5th BCS-FACS Refinement Workshop (London, UK, January 8-10, 1992)

A2 - Jones, C.B.

A2 - Shaw, R.C.

A2 - Denvir, T.

PB - Springer

CY - Berlin

ER -