Proof and design

Michael P. Fourman

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany
PublisherSpringer-Verlag
Pages397-439
Number of pages43
ISBN (Electronic)3-540-60947-4
Publication statusPublished - 1996

Cite this