| Original language | English |
|---|---|
| Title of host publication | Proceedings of the XIII Conference of the Brazilian Computer Society |
| Place of Publication | Florianopolis, Brazil |
| Publication status | Published - 1993 |
The Formalisation of a hardware description language in a proof system: motivation and applications
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
1
Downloads
(Pure)