Robert Bellarmine Krug

	2008
3		Warren A. Hunt Jr., Robert Bellarmine Krug, Sandip Ray, William D. Young: Mechanized Information Flow Analysis through Inductive Assertions. FMCAD 2008: 1-4
	2005
2		Warren A. Hunt Jr., Matt Kaufmann, Robert Bellarmine Krug, J. Strother Moore, Eric Whitman Smith: Meta Reasoning in ACL2. TPHOLs 2005: 163-178
	2003
1		Warren A. Hunt Jr., Robert Bellarmine Krug, J. Strother Moore: Linear and Nonlinear Arithmetic in ACL2. CHARME 2003: 319-333

Coauthor Index

1	Warren A. Hunt Jr.	[1] [2] [3]
2	Matt Kaufmann	[2]
3	J. Strother Moore	[1] [2]
4	Sandip Ray	[3]
5	Eric Whitman Smith	[2]
6	William D. Young	[3]