| |
| 2008 | ||
|---|---|---|
| 2 | Nachiappan Veerappan Nachiappan, Jarred Blount, J. Nelson Rushton: A System for Checking Semi-formal Proofs. FECS 2008: 82-85 | |
| 2007 | ||
| 1 | J. Nelson Rushton, Jarred Blount, Justin Blount: An Experiment Comparing the Performance of Declarative and Procedural Languages. IKE 2007: 291-296 | |
| 1 | Justin Blount | [1] |
| 2 | Nachiappan Veerappan Nachiappan | [2] |
| 3 | J. Nelson Rushton | [1] [2] |