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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Originele taal-2	Engels
Titel	Proceedings 5th BCS-FACS Refinement Workshop (London, UK, January 8-10, 1992)
Redacteuren	C.B. Jones, R.C. Shaw, T. Denvir
Plaats van productie	Berlin
Uitgeverij	Springer
Pagina's	342-366
ISBN van geprinte versie	3-540-19752-4
Status	Gepubliceerd - 1992

Publicatie series

Naam	Workshops in Computing

Citeer dit

@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). uitgave / C.B. Jones; R.C. Shaw; T. Denvir. Berlin: Springer, 1992. blz. 342-366 (Workshops in Computing).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › 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 -