| |
| * | 2007 | |
|---|---|---|
| 2 | EE | David Andrzejewski, Anne Mulhern, Ben Liblit, Xiaojin Zhu: Statistical Debugging Using Latent Topic Models. ECML 2007: 6-17 |
| 1 | EE | Anne Mulhern, Charles Fischer, Ben Liblit: Tool Support for Proof Engineering. Electr. Notes Theor. Comput. Sci. 174(2): 75-86 (2007) |
| 1 | David Andrzejewski | [2] |
| 2 | Charles Fischer | [1] |
| 3 | Ben Liblit | [1] [2] |
| 4 | Xiaojin Zhu | [2] |