On a method for the formal design of multiprograms

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

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Fingerprint

Dive into the research topics of 'On a method for the formal design of multiprograms'. Together they form a unique fingerprint.

Computer Science