4. IWFM 2000: Maynooth, Ireland

@proceedings{DBLP:conf/iwfm/2000,
  editor    = {David Sinclair and
               J. Paul Gibson},
  title     = {4th Irish Workshop on Formal Methods, IWFM 2000, Maynooth, Ireland,
               5th-6th July 2000},
  booktitle = {IWFM},
  publisher = {BCS},
  series    = {Workshops in Computing},
  year      = {2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• A. J. Currie:
  A Comparison of Three Model Checkers Applied to a Distributed Database Problem.
  
• Pascal Hitzler, Anthony Karel Seda:
  A Note on the Relationships Between Logic Programs and Neural Networks.
  
• Steve King, Carroll Morgan:
  An Iterator Construct for the Refinement Calculus.
  
• Claus Pahl:
  Modal Logics for Reasoning about Object-based Component Composition.
  
• Claus Pahl:
  An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems.
  
• Michael Poppleton, Richard Banach:
  Retrenchment: Extending Refinement for Continuous and Control Systems.
  
• Christophe Tabacznyj:
  Abstract Clustering for Program Comprehension.