John Hoffman

	1998
2		John Hoffman, Charlie Payne: A Formal Method Experience at Secure Computing Corporation. CAV 1998: 49-56
1		Tom Barclay, Robert Eberl, Jim Gray, John Nordlinger, Guru Raghavendran, Donald R. Slutz, Greg Smith, Phil Smoot, John Hoffman, Natt Robb III, Hedy Rossmeissl, Beth Duff, George Lee, Theresa Mathesmier, Randall Sunne: Microsoft TerraServer CoRR cs.DB/9809011: (1998)

Coauthor Index

1	Tom Barclay	[1]
2	Beth Duff	[1]
3	Robert Eberl	[1]
4	Jim Gray	[1]
5	George Lee	[1]
6	Theresa Mathesmier	[1]
7	John Nordlinger	[1]
8	Charlie Payne	[2]
9	Guru Raghavendran	[1]
10	Natt Robb III	[1]
11	Hedy Rossmeissl	[1]
12	Donald R. Slutz	[1]
13	Greg Smith	[1]
14	Phil Smoot	[1]
15	Randall Sunne	[1]

Colors in the list of coauthors