C. Michael Holloway

Personal Homepage
Employer
()
Email

Publication Statistics

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

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

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.