Author: Bernard Sufrin

Publications

Publication period start: 1987
Number of co-authors: 8

Co-authors

Number of publications with favourite co-authors
Jeff W. Sanders
1
Ib Holm Soerensen
1
J. Michael Spivey
1

Productive Colleagues

Most productive colleagues in number of publications
Jifeng He
2
A. W. Roscoe
3
C. A. R. Hoare
14

Publications

Hoare, C. A. R., Hayes, Ian J., He, Jifeng, Morgan, Carroll, Roscoe, A. W., Sanders, Jeff W., Soerensen, Ib Holm, Spivey, J. Michael, Sufrin, Bernard (1987): Laws of Programming. In Communications of the ACM, 30 (8) pp. 672-686.

Sufrin, Bernard (1986): Formal Methods and the Design of Effective User Interfaces. In: Harrison, Michael D., Monk, Andrew (eds.) Proceedings of the Second Conference of the British Computer Society Human Computer Interaction Specialist Group - People and Computers II August 23-26, 1986, University of York, UK. pp. 24-43.