| |
| 2008 | ||
|---|---|---|
| 2 | EE | Eunsuk Kang, Daniel Jackson: Formal Modeling and Analysis of a Flash Filesystem in Alloy. ABZ 2008: 294-308 |
| 2007 | ||
| 1 | EE | Eunsuk Kang, Mark Aagaard: Improving the Usability of HOL Through Controlled Automation Tactics. TPHOLs 2007: 157-172 |
| 1 | Mark Aagaard | [1] |
| 2 | Daniel Jackson | [2] |