G
Graham Birtwistle
5 works on record
Works
VLSI Specification, Verification and Synthesis
Living art
Living art
1986
IV Higher Order Workshop, Banff 1990
IV Higher Order Workshop, Banff 1990
Current Trends in Hardware Verification and Automated Theorem Proving
Current Trends in Hardware Verification and Automated Theorem Proving
Asynchronous Digital Circuit Design
Asynchronous Digital Circuit Design