Theorem Provers in Circuit Design (TPCD)

2. TPCD 1994: Bad Herrenalb, Germany

1. TPCD 1992: Nijmegen, The Netherlands