A system for mechanized digital design derivation (1991)

by Steven D Johnson, Bhaskar Bose
Venue:In Subramanyam, editor, Proceedings of ACM International Workshop on Formal Methods in VLSI Design