Formal specification and verification of hardware: A comparative case study (1988)

by V Stavridou, H Barringer, D A Edwards
Venue:In Proceedings of the 25th ACM/IEEE conference on Design Automation