| |
| 2007 | ||
|---|---|---|
| 3 | EE | G. W. Hamilton: Distillation: extracting the essence of programs. PEPM 2007: 61-70 |
| 2 | EE | G. W. Hamilton: Distilling Programs for Verification. Electr. Notes Theor. Comput. Sci. 190(4): 17-32 (2007) |
| 2006 | ||
| 1 | EE | G. W. Hamilton: Poitín: Distilling Theorems From Conjectures. Electr. Notes Theor. Comput. Sci. 151(1): 143-160 (2006) |