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)