Author: C. Michael Holloway

Publications

Co-authors

John M. Rushby

1

Jeannette M. Wing

1

Pamela Zave

1

Productive Colleagues

David Lorge Parnas

29

David Gries

31

Robert L. Glass

48

Publications

Arthur, James D., Groner, Markus K., Hayhurst, Kelly J., Holloway, C. Michael (1999): Evaluating the Effectiveness of Independendent Verification and Validation. In IEEE Computer, 32 (10) pp. 79-83.

Bowen, Jonathan P., Butler, Ricky W., Dill, David L., Glass, Robert L., Gries, David, Hall, Anthony, Hinchey, Michael G., Holloway, C. Michael, Jackson, Daniel, Jones, Cliff B., Lutz, Michael J., Parnas, David Lorge, Rushby, John M., Wing, Jeannette M., Zave, Pamela (1996): An Invitation to Formal Methods. In IEEE Computer, 29 (4) pp. 16-30.