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