Three notions of proof
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Original language | English |
---|---|
Title of host publication | Proc. of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Danmark |
Place of Publication | Amsterdam |
Publisher | North-Holland |
Publication date | 1992 |
Pages | 97-101 |
Publication status | Published - 1992 |
ID: 284417