Formalising Dijkstra's development strategy within Stark's formalism

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	4-42
ISBN van geprinte versie	3-540-19752-4
Status	Gepubliceerd - 1992

Naam	Workshops in Computing

Citeer dit

@inproceedings{7eb1c78d11c649ffb550b32254bc28ce,

title = "Formalising Dijkstra's development strategy within Stark's formalism",

author = "A.G. Cau and R. Kuiper and \{Roever, de\}, W.P.",

year = "1992",

language = "English",

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

series = "Workshops in Computing",

publisher = "Springer",

pages = "4--42",

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",

}

Formalising Dijkstra's development strategy within Stark's formalism. / Cau, A.G.; Kuiper, R.; Roever, de, W.P.
Proceedings 5th BCS-FACS Refinement Workshop (London, UK, January 8-10, 1992). reds. / C.B. Jones; R.C. Shaw; T. Denvir. Berlin: Springer, 1992. blz. 4-42 (Workshops in Computing).

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

TY - GEN

T1 - Formalising Dijkstra's development strategy within Stark's formalism

AU - Cau, A.G.

AU - Kuiper, R.

AU - Roever, de, W.P.

PY - 1992

Y1 - 1992

M3 - Conference contribution

SN - 3-540-19752-4

T3 - Workshops in Computing

SP - 4

EP - 42

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 -