Formal Specification and Verification of Hardware: A Comparative Case Study (1988)

by V Stavridou, H Barringer, D A Edwards
Venue:in: Proceedings of the ACM IEE 25th Design Automation Conference, (Computer