Three notions of proof

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

  • Peter Naur
Original languageEnglish
Title of host publicationProc. of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Danmark
Place of PublicationAmsterdam
PublisherNorth-Holland
Publication date1992
Pages97-101
Publication statusPublished - 1992

ID: 284417