Conferences in DBLP

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

1. Christophe Tabacznyj
   Abstract Clustering for Program Comprehension. [Citation Graph (0, 0)][DBLP]
   IWFM, 2000, pp:- [Conf]
   
2. A. J. Currie
   A Comparison of Three Model Checkers Applied to a Distributed Database Problem. [Citation Graph (0, 0)][DBLP]
   IWFM, 2000, pp:- [Conf]
   
3. Pascal Hitzler, Anthony Karel Seda
   A Note on the Relationships Between Logic Programs and Neural Networks. [Citation Graph (0, 0)][DBLP]
   IWFM, 2000, pp:- [Conf]
   
4. Steve King, Carroll Morgan
   An Iterator Construct for the Refinement Calculus. [Citation Graph (0, 0)][DBLP]
   IWFM, 2000, pp:- [Conf]
   
5. Claus Pahl
   Modal Logics for Reasoning about Object-based Component Composition. [Citation Graph (0, 0)][DBLP]
   IWFM, 2000, pp:- [Conf]
   
6. Claus Pahl
   An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems. [Citation Graph (0, 0)][DBLP]
   IWFM, 2000, pp:- [Conf]
   
7. Michael Poppleton, Richard Banach
   Retrenchment: Extending Refinement for Continuous and Control Systems. [Citation Graph (0, 0)][DBLP]
   IWFM, 2000, pp:- [Conf]