Programming, proving, and calculation

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

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

1 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Programming, proving, and calculation'. Together they form a unique fingerprint.