Personal Homepage

Employer

()

Email

Publication period start

1996

Publication period end

1997

Number of co-authors

14

David Lorge Parnas

1

Jeannette M. Wing

1

Pamela Zave

1

David Lorge Parnas

29

David Gries

31

Robert L. Glass

48

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.