| |
| 2008 | ||
|---|---|---|
| 1 | EE | Dave Barker-Plummer, John Etchemendy, Albert Liu, Michael Murray, Nik Swoboda: Openproof - A Flexible Framework for Heterogeneous Reasoning. Diagrams 2008: 347-349 |
| 1 | Dave Barker-Plummer | [1] |
| 2 | John Etchemendy | [1] |
| 3 | Michael Murray | [1] |
| 4 | Nik Swoboda | [1] |