Exercises in formula manipulation

W.H.J. Feijen, A. Bijlsma

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

1 Downloads (Pure)


No abstract.
Original languageEnglish
Title of host publicationFormal development of programs and proofs
EditorsE.W. Dijkstra
Place of PublicationReading MA
ISBN (Print)0-201-17237-2
Publication statusPublished - 1990

Fingerprint Dive into the research topics of 'Exercises in formula manipulation'. Together they form a unique fingerprint.

Cite this