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)


No abstract.
Original languageEnglish
Title of host publicationTeaching and Learning Formal Methods
EditorsC.N. Dean, M.G. Hinchey
Place of PublicationLondon
PublisherAcademic Press Inc.
ISBN (Print)0-12-349040-5
Publication statusPublished - 1996


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

Cite this