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)

Abstract

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

Cite this