Anne Mulhern

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

Coauthor Index

1	David Andrzejewski	[2]
2	Charles Fischer	[1]
3	Ben Liblit	[1] [2]
4	Xiaojin Zhu	[2]