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.
No references recorded for this publication.
No citations of this publication recorded.