John M. Rushby

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1996
Publication period end
1997
Number of co-authors
14

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

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-. http://

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.