Formalising Dijkstra's development strategy within Stark's formalism

A.G. Cau; R. Kuiper; W.P. Roever, de

Formalising Dijkstra's development strategy within Stark's formalism

A.G. Cau, R. Kuiper, 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	4-42
ISBN (Print)	3-540-19752-4
Publication status	Published - 1992

Publication series

Name	Workshops in Computing

Cite this

@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). ed. / C.B. Jones; R.C. Shaw; T. Denvir. Berlin : Springer, 1992. p. 4-42 (Workshops in Computing).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › 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 -