Conferences in DBLP

World Congress on Formal Methods (FM) (fm)
1991 (conf/fm/1991-2)

1. John V. Guttag, James J. Horning
   A Tutorial on LARCH and LCL, A LARCH/C Interface Language. [Citation Graph (0, 0)][DBLP]
   VDM Europe (2), 1991, pp:1-78 [Conf]
   
2. Jim Woodcock
   A Tutorial on the Refinement Calculus. [Citation Graph (0, 0)][DBLP]
   VDM Europe (2), 1991, pp:79-140 [Conf]
   
3. Jim Woodcock
   The Refinement Calculus. [Citation Graph (0, 0)][DBLP]
   VDM Europe (2), 1991, pp:80-95 [Conf]
   
4. Jim Woodcock
   An Introduction to Refinement in Z. [Citation Graph (0, 0)][DBLP]
   VDM Europe (2), 1991, pp:96-117 [Conf]
   
5. Jim Woodcock
   Two Refinement Case Studies. [Citation Graph (0, 0)][DBLP]
   VDM Europe (2), 1991, pp:118-140 [Conf]
   
6. Mícheál Mac an Airchinnigh
   Tutorial on the Irish School of the VDM. [Citation Graph (0, 0)][DBLP]
   VDM Europe (2), 1991, pp:141-237 [Conf]
   
7. Chris George
   The RAISE Specification Langiage: A Tutorial. [Citation Graph (0, 0)][DBLP]
   VDM Europe (2), 1991, pp:238-319 [Conf]
   
8. Ole-Johan Dahl, Olaf Owe
   Formal Development with ABEL. [Citation Graph (0, 0)][DBLP]
   VDM Europe (2), 1991, pp:320-362 [Conf]
   
9. Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor
   The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development. [Citation Graph (0, 0)][DBLP]
   VDM Europe (2), 1991, pp:363-397 [Conf]
   
10. Jean-Raymond Abrial, Matthew K. O. Lee, David Neilson, P. N. Scharbach, Ib Holm Sørensen
    The B-Method. [Citation Graph (0, 0)][DBLP]
    VDM Europe (2), 1991, pp:398-405 [Conf]
    
11. Donald I. Good, William D. Young
    Mathematical Methods for Digital Systems Development. [Citation Graph (0, 0)][DBLP]
    VDM Europe (2), 1991, pp:406-430 [Conf]