The Formalisation of a hardware description language in a proof system: motivation and applications

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Downloads (Pure)
Original languageEnglish
Title of host publicationProceedings of the XIII Conference of the Brazilian Computer Society
Place of PublicationFlorianopolis, Brazil
Publication statusPublished - 1993

Cite this