- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 2 |      | Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, Daniel Jackson: Agile specifications. OOPSLA Companion 2009: 999-1006 |
| 2008 | ||
| 1 | | Greg Dennis, Kuat Yessenov, Daniel Jackson: Bounded Verification of Voting Software. VSTTE 2008: 130-145 |
| 1 | Greg Dennis | [1] [2] |
| 2 | Daniel Jackson | [1] [2] |
| 3 | Aleksandar Milicevic | [2] |
| 4 | Derek Rayside | [2] |