| |
| 2007 | ||
|---|---|---|
| 1 | EE | Matthias F. Stallmann, Suzanne Balik, Robert D. Rodman, Sina Bahram, Michael C. Grace, Susan D. High: ProofChecker: an accessible environment for automata theory correctness proofs. ITiCSE 2007: 48-52 |
| 1 | Sina Bahram | [1] |
| 2 | Suzanne Balik | [1] |
| 3 | Susan D. High | [1] |
| 4 | Robert D. Rodman | [1] |
| 5 | Matthias F. Stallmann | [1] |