WF231/AvG140: On a method for the formal design of multiprograms

W.H.J. Feijen, A.J.M. Gasteren, van

Research output: Other contributionOther research output

Original languageEnglish
PublisherTechnische Universiteit Eindhoven
Publication statusPublished - 1996

Cite this

Feijen, W. H. J., & Gasteren, van, A. J. M. (1996). WF231/AvG140: On a method for the formal design of multiprograms. Technische Universiteit Eindhoven.
Feijen, W.H.J. ; Gasteren, van, A.J.M. / WF231/AvG140: On a method for the formal design of multiprograms. 1996. Technische Universiteit Eindhoven.
@misc{f2632345be7c4c558a9826c695ce6170,
title = "WF231/AvG140: On a method for the formal design of multiprograms",
author = "W.H.J. Feijen and {Gasteren, van}, A.J.M.",
year = "1996",
language = "English",
publisher = "Technische Universiteit Eindhoven",
type = "Other",

}

Feijen, WHJ & Gasteren, van, AJM 1996, WF231/AvG140: On a method for the formal design of multiprograms. Technische Universiteit Eindhoven.

WF231/AvG140: On a method for the formal design of multiprograms. / Feijen, W.H.J.; Gasteren, van, A.J.M.

Technische Universiteit Eindhoven. 1996, .

Research output: Other contributionOther research output

TY - GEN

T1 - WF231/AvG140: On a method for the formal design of multiprograms

AU - Feijen, W.H.J.

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

PY - 1996

Y1 - 1996

M3 - Other contribution

PB - Technische Universiteit Eindhoven

ER -