C. Michael Holloway

2003
4	EE	Chris W. Johnson, C. Michael Holloway: The ESA/NASA SOHO mission interruption: using the STAMP accident analysis technique for a software related 'mishap'. Softw., Pract. Exper. 33(12): 1177-1198 (2003)
1999
3		James D. Arthur, Markus K. Gröner, Kelly J. Hayhurst, C. Michael Holloway: Evaluating the Effectiveness of Independendent Verification and Validation. IEEE Computer 32(10): 79-83 (1999)
1996
2		Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John M. Rushby, Jeannette M. Wing, Pamela Zave: An Invitation to Formal Methods. IEEE Computer 29(4): 16-30 (1996)
1994
1	EE	C. Michael Holloway, Ben L. Di Vito, David Guaspari, Michael Smith: Formal Methods Fact vs. Fiction. TRI-Ada 1994: 256-258

Coauthor Index

1	James D. Arthur	[3]
2	Jonathan P. Bowen	[2]
3	Ricky W. Butler	[2]
4	David L. Dill	[2]
5	Robert L. Glass	[2]
6	David Gries	[2]
7	Markus K. Gröner	[3]
8	David Guaspari	[1]
9	Anthony Hall	[2]
10	Kelly J. Hayhurst	[3]
11	Michael G. Hinchey (Mike Hinchey)	[2]
12	Daniel Jackson	[2]
13	Chris W. Johnson	[4]
14	Cliff B. Jones	[2]
15	Michael J. Lutz	[2]
16	David Lorge Parnas	[2]
17	John M. Rushby	[2]
18	Michael Smith	[1]
19	Ben L. Di Vito	[1]
20	Jeannette M. Wing	[2]
21	Pamela Zave	[2]

Colors in the list of coauthors