| |
| 1997 | ||
|---|---|---|
| 3 | Donald MacKenzie, Garrel Pottinger: Mathematics, Technology, and Trust: Formal Verification, Computer Security, and the U.S. Military. IEEE Annals of the History of Computing 19(3): 41-59 (1997) | |
| 1992 | ||
| 2 | Garrel Pottinger: A Classical Type Theory with Transfinite Types. TPHOLs 1992: 81-94 | |
| 1990 | ||
| 1 | Carl Eichenlaub, Bruce Esrig, James Hook, Carl Klapper, Garrel Pottinger: The Romulus Proof Checker. CADE 1990: 651-652 | |
| 1 | Carl Eichenlaub | [1] |
| 2 | Bruce Esrig | [1] |
| 3 | James Hook | [1] |
| 4 | Carl Klapper | [1] |
| 5 | Donald MacKenzie | [3] |