Search the dblp DataBase

Publications of Author

1. C. Michael Holloway, Ben L. Di Vito, David Guaspari, Michael Smith
   Formal Methods Fact vs. Fiction. [Citation Graph (0, 0)][DBLP]
   TRI-Ada, 1994, pp:256-258 [Conf]
   
2. James D. Arthur, Markus K. Gröner, Kelly J. Hayhurst, C. Michael Holloway
   Evaluating the Effectiveness of Independendent Verification and Validation. [Citation Graph (0, 0)][DBLP]
   IEEE Computer, 1999, v:32, n:10, pp:79-83 [Journal]
   
3. 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. [Citation Graph (0, 0)][DBLP]
   IEEE Computer, 1996, v:29, n:4, pp:16-30 [Journal]
   
4. Chris W. Johnson, C. Michael Holloway
   The ESA/NASA SOHO mission interruption: using the STAMP accident analysis technique for a software related 'mishap'. [Citation Graph (0, 0)][DBLP]
   Softw., Pract. Exper., 2003, v:33, n:12, pp:1177-1198 [Journal]