Hardware Specification Verification and Synthesis - Softcover

Leeser, M. And Brown, G. (Eds.)

 
9783540972266: Hardware Specification Verification and Synthesis