| |
| 1992 | ||
|---|---|---|
| 2 | Simon Bainbridge, Albert John Camilleri, Roger Fleming: Theorem Proving as an Industrial Tool for System Level Desgin. TPCD 1992: 253-274 | |
| 1991 | ||
| 1 | Simon Bainbridge, Albert John Camilleri, Roger Fleming: Industrial Application of Theorem Proving to System Level Design. TPHOLs 1991: 130-142 | |
| 1 | Simon Bainbridge | [1] [2] |
| 2 | Albert John Camilleri | [1] [2] |