Doorgaan naar hoofdnavigatie Doorgaan naar zoeken Ga verder naar hoofdinhoud

Formalising Dijkstra's development strategy within Stark's formalism

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