Author: C. Michael Holloway

C. Michael Holloway

C. Michael Holloway

Publications

Publication period start: 1996
Publication period end: 1999
Number of co-authors: 17

Co-authors

Number of publications with favourite co-authors
Jonathan P. Bowen
1
Kelly J. Hayhurst
1
Pamela Zave
1

Productive Colleagues

Most productive colleagues in number of publications
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.