| 2008 |
|---|
| 11 | EE | Bernard Sufrin:
Communicating Scala Objects.
CPA 2008: 35-54 |
| 2000 |
|---|
| 10 | | Quentin Miller,
Bernard Sufrin:
Eclectic CSP: A Language of Concurrent Processes.
SAC (2) 2000: 840-842 |
| 1999 |
|---|
| 9 | | Richard Bornat,
Bernard Sufrin:
Animating Formal Proof at the Surface: The Jape Proof Calculator.
Comput. J. 42(3): 177-192 (1999) |
| 8 | EE | Richard Bornat,
Bernard Sufrin:
A Minimal Graphical User Interface for the Jape Proof Calculator.
Formal Asp. Comput. 11(3): 244-271 (1999) |
| 1997 |
|---|
| 7 | | Richard Bornat,
Bernard Sufrin:
Jape: A Calculator for Animating Proof-on-Paper.
CADE 1997: 412-415 |
| 1996 |
|---|
| 6 | | James J. Leifer,
Bernard Sufrin:
Deduction for Functional Programmers.
J. Funct. Program. 6(2): 365-373 (1996) |
| 1990 |
|---|
| 5 | | J. Michael Spivey,
Bernard Sufrin:
Type Inference in Z.
VDM Europe 1990: 426-451 |
| 1989 |
|---|
| 4 | | Bernard Sufrin:
Effective Industrial Application of Formal Methods.
IFIP Congress 1989: 61-69 |
| 1987 |
|---|
| 3 | | C. A. R. Hoare,
Ian J. Hayes,
Jifeng He,
Carroll Morgan,
A. W. Roscoe,
Jeff W. Sanders,
Ib Holm Sørensen,
J. Michael Spivey,
Bernard Sufrin:
Laws of Programming.
Commun. ACM 30(8): 672-686 (1987) |
| 1984 |
|---|
| 2 | | Carroll Morgan,
Bernard Sufrin:
Specification of the UNIX Filing System.
IEEE Trans. Software Eng. 10(2): 128-142 (1984) |
| 1982 |
|---|
| 1 | | Bernard Sufrin:
Formal Specification of a Display-Oriented Text Editor.
Sci. Comput. Program. 1(3): 157-202 (1982) |
