Conferences in DBLP

Irish Workshop in Formal Methods (IWFM) (iwfm)
2001 (conf/iwfm/2001)

1. Jim Woodcock, Ana Cavalcanti
   A Concurrent Language for Refinement. [Citation Graph (0, 0)][DBLP]
   IWFM, 2001, pp:- [Conf]
   
2. Benjamin Aziz, Geoff W. Hamilton
   A Denotational Semantics for the Pi-Calculus. [Citation Graph (0, 0)][DBLP]
   IWFM, 2001, pp:- [Conf]
   
3. Steve Dunne
   Recasting Hoare and He's Unifying Theory of Programs in the Context of General Correctness. [Citation Graph (0, 0)][DBLP]
   IWFM, 2001, pp:- [Conf]
   
4. Doug Goldson
   Multiprogram Design in the theory of Owicki and Gries. [Citation Graph (0, 0)][DBLP]
   IWFM, 2001, pp:- [Conf]
   
5. Pascal Hitzler, Anthony Karel Seda
   VDM meets LCF: Domain-Theoretic and Topological Aspects of VDM. [Citation Graph (0, 0)][DBLP]
   IWFM, 2001, pp:- [Conf]
   
6. Claus Pahl
   Observation and Abstract Behaviour in Specification and Implementation of State-based Systems. [Citation Graph (0, 0)][DBLP]
   IWFM, 2001, pp:- [Conf]
   
7. N. Reid, Peter Kilpatrick, Maurice Clint
   Towards a Semantics For Multidimensional Array Assignment in Fortran 95. [Citation Graph (0, 0)][DBLP]
   IWFM, 2001, pp:- [Conf]