Experimenting with a refinement calculus

A.J.M. Gasteren, van

Experimenting with a refinement calculus

A.J.M. Gasteren, van

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic

1 Downloads (Pure)

Samenvatting

No abstract.

Originele taal-2	Engels
Titel	Beauty is our business : a birthday salute to Edsger W. Dijkstra
Redacteuren	W.H.J. Feijen, A.J.M. Gasteren, van, D. Gries, J. Misra
Plaats van productie	Berlin
Uitgeverij	Springer
Pagina's	127-134
ISBN van geprinte versie	0-387-97299-4
Status	Gepubliceerd - 1990

Publicatie series

Naam	Texts and monographs in computer science
ISSN van geprinte versie	0172-603X

Citeer dit

@inbook{79e1ae00f438498d966559bb93b7cf4b,

title = "Experimenting with a refinement calculus",

abstract = "No abstract.",

author = "\{Gasteren, van\}, A.J.M.",

year = "1990",

language = "English",

isbn = "0-387-97299-4",

series = "Texts and monographs in computer science",

publisher = "Springer",

pages = "127--134",

editor = "W.H.J. Feijen and \{Gasteren, van\}, A.J.M. and D. Gries and J. Misra",

booktitle = "Beauty is our business : a birthday salute to Edsger W. Dijkstra",

address = "Germany",

}

TY - CHAP

T1 - Experimenting with a refinement calculus

AU - Gasteren, van, A.J.M.

PY - 1990

Y1 - 1990

N2 - No abstract.

AB - No abstract.

M3 - Chapter

SN - 0-387-97299-4

T3 - Texts and monographs in computer science

SP - 127

EP - 134

BT - Beauty is our business : a birthday salute to Edsger W. Dijkstra

A2 - Feijen, W.H.J.

A2 - Gasteren, van, A.J.M.

A2 - Gries, D.

A2 - Misra, J.

PB - Springer

CY - Berlin

ER -

Experimenting with a refinement calculus

Samenvatting

Publicatie series

Vingerafdruk

Citeer dit