Graham Birtwistle · 5 obras en el catálogoObrasLLiving artLiving art1986VLSI Specification, Verification and SynthesisCCurrent Trends in Hardware Verification and Automated TheoreCurrent Trends in Hardware Verification and Automated Theorem ProvingIIV Higher Order Workshop, Banff 1990IV Higher Order Workshop, Banff 1990AAsynchronous Digital Circuit DesignAsynchronous Digital Circuit Design
CCurrent Trends in Hardware Verification and Automated TheoreCurrent Trends in Hardware Verification and Automated Theorem Proving
