Integration of Formal Methods with System Design

Eleanor M. Mayger, Michael P. Fourman

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationVLSI
Pages59-69
Number of pages11
Publication statusPublished - 1991

Cite this