Formalising Dijkstra's development strategy within Stark's formalism

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Originele taal-2Engels
TitelProceedings 5th BCS-FACS Refinement Workshop (London, UK, January 8-10, 1992)
RedacteurenC.B. Jones, R.C. Shaw, T. Denvir
Plaats van productieBerlin
UitgeverijSpringer
Pagina's4-42
ISBN van geprinte versie3-540-19752-4
StatusGepubliceerd - 1992

Publicatie series

NaamWorkshops in Computing

Citeer dit