Bernard Sufrin

Programming Research Group University of Oxford, Oxford, United Kingdom 
"Bernard Sufrin"
BETA: Related 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
See more...