| |
| 2006 | ||
|---|---|---|
| 2 | EE | Amanda M. Holland-Minkley: Cyberattacks: a lab-based introduction to computer security. SIGITE Conference 2006: 39-46 |
| 1999 | ||
| 1 | Amanda M. Holland-Minkley, Regina Barzilay, Robert L. Constable: Verbalization of High-Level Formal Proofs. AAAI/IAAI 1999: 277-284 | |
| 1 | Regina Barzilay | [1] |
| 2 | Robert L. Constable | [1] |