Search the dblp DataBase

Publications of Author

1. Richard Bornat, Bernard Sufrin
   Jape: A Calculator for Animating Proof-on-Paper. [Citation Graph (0, 0)][DBLP]
   CADE, 1997, pp:412-415 [Conf]
   
2. J. Michael Spivey, Bernard Sufrin
   Type Inference in Z. [Citation Graph (0, 0)][DBLP]
   VDM Europe, 1990, pp:426-451 [Conf]
   
3. Bernard Sufrin
   Effective Industrial Application of Formal Methods. [Citation Graph (0, 0)][DBLP]
   IFIP Congress, 1989, pp:61-69 [Conf]
   
4. Quentin Miller, Bernard Sufrin
   Eclectic CSP: A Language of Concurrent Processes. [Citation Graph (0, 0)][DBLP]
   SAC (2), 2000, pp:840-842 [Conf]
   
5. 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. [Citation Graph (0, 0)][DBLP]
   Commun. ACM, 1987, v:30, n:8, pp:672-686 [Journal]
   
6. Richard Bornat, Bernard Sufrin
   Animating Formal Proof at the Surface: The Jape Proof Calculator. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1999, v:42, n:3, pp:177-192 [Journal]
   
7. Richard Bornat, Bernard Sufrin
   A Minimal Graphical User Interface for the Jape Proof Calculator. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1999, v:11, n:3, pp:244-271 [Journal]
   
8. James J. Leifer, Bernard Sufrin
   Deduction for Functional Programmers. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1996, v:6, n:2, pp:365-373 [Journal]
   
9. Bernard Sufrin
   Formal Specification of a Display-Oriented Text Editor. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1982, v:1, n:3, pp:157-202 [Journal]
   
10. Carroll Morgan, Bernard Sufrin
    Specification of the UNIX Filing System. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1984, v:10, n:2, pp:128-142 [Journal]
    
11. 
    Communicating Scala Objects. [Citation Graph (, )][DBLP]