Author: John M. Rushby

Publications

Co-authors

David Lorge Parnas

1

Jeannette M. Wing

1

Pamela Zave

1

Productive Colleagues

David Lorge Parnas

29

David Gries

31

Robert L. Glass

48

Publications

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.

Rushby, John M. (1997): Calculating with Requirements. In: 3rd IEEE International Symposium on Requirements Engineering RE97 January 5-8, 1997, Annapolis, MD, USA. pp. 144-. https://