| 2008 |
|---|
| 5 | EE | Mike Gordon:
Twenty Years of Theorem Proving for HOLs Past, Present and Future.
TPHOLs 2008: 1-5 |
| 2007 |
|---|
| 4 | EE | Konrad Slind,
Scott Owens,
Juliano Iyoda,
Mike Gordon:
Proof producing synthesis of arithmetic and cryptographic hardware.
Formal Asp. Comput. 19(3): 343-362 (2007) |
| 2006 |
|---|
| 3 | EE | Thomas Tuerk,
Klaus Schneider,
Mike Gordon:
Model Checking PSL Using HOL and SMV.
Haifa Verification Conference 2006: 1-15 |
| 2 | EE | Mike Gordon,
Juliano Iyoda,
Scott Owens,
Konrad Slind:
Automatic Formal Synthesis of Hardware from Higher Order Logic.
Electr. Notes Theor. Comput. Sci. 145: 27-43 (2006) |
| 2000 |
|---|
| 1 | | Mike Gordon:
From LCF to HOL: a short history.
Proof, Language, and Interaction 2000: 169-186 |
