Formalising Dijkstra's development strategy within Stark's formalism

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings 5th BCS-FACS Refinement Workshop (London, UK, January 8-10, 1992)
EditorsC.B. Jones, R.C. Shaw, T. Denvir
Place of PublicationBerlin
PublisherSpringer
Pages4-42
ISBN (Print)3-540-19752-4
Publication statusPublished - 1992

Publication series

NameWorkshops in Computing

Cite this