Improving Hardware Designs whilst Simplifying their Proof (1996)

by P Curzon, I M Leslie
Venue:In Designing Correct Circuits, Sheeran, M. and Satnam Singh, S., Editors, Workshops in Computing, Springer-Verlag