Bernard Sufrin
Affiliations: | Programming Research Group | University of Oxford, Oxford, United Kingdom |
Google:
"Bernard Sufrin"
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Bornat R, Sufrin B. (1999) Animating Formal Proof at the Surface: The Jape Proof Calculator The Computer Journal. 42: 177-192 |
| Bornat R, Sufrin B. (1999) A Minimal Graphical User Interface for the Jape Proof Calculator Formal Aspects of Computing. 11: 244-271 |
| Sufrin B. (1989) Formal methods in system design and implementation Computer Physics Communications. 57: 108-117 |
| Sufrin B, Woodcock J. (1987) Towards the formal specification of a simple programming support environment Software Engineering Journal. 2: 86-94 |
| Morgan C, Sufrin B. (1984) Specification of the UNIX Filing System Ieee Transactions On Software Engineering. 10: 128-142 |
| Sufrin B. (1982) Formal specification of a display-oriented text editor Science of Computer Programming. 1: 157-202 |