An Invitation to Formal Methods

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.

Authors

Jonathan P. Bowen

Identified as Jonathan P. Bowen

Ricky W. Butler

This author has not been identified. Look up 'Ricky W. Butler' in Google

David L. Dill

This author has not been identified. Look up 'David L. Dill' in Google

Robert L. Glass

This author has not been identified. Look up 'Robert L. Glass' in Google

David Gries

This author has not been identified. Look up 'David Gries' in Google

Anthony Hall

This author has not been identified. Look up 'Anthony Hall' in Google

Michael G. Hinchey

This author has not been identified. Look up 'Michael G. Hinchey' in Google

C. Michael Holloway

This author has not been identified. Look up 'C. Michael Holloway' in Google

Daniel Jackson

This author has not been identified. Look up 'Daniel Jackson' in Google

Cliff B. Jones

This author has not been identified. Look up 'Cliff B. Jones' in Google

Michael J. Lutz

This author has not been identified. Look up 'Michael J. Lutz' in Google

David Lorge Parnas

Identified as David Lorge Parnas

John M. Rushby

This author has not been identified. Look up 'John M. Rushby' in Google

Jeannette M. Wing

Identified as Jeannette M. Wing

Pamela Zave

This author has not been identified. Look up 'Pamela Zave' in Google