Papers:
A.J. Currie A Comparison of Three Model Checkers Applied to a Distributed Database Problem http://dx.doi.org/10.14236/ewic/IWFM2000.1
P. Hitzler & A.K. Seda A Note on the Relationships Between Logic Programs and Neural Networks http://dx.doi.org/10.14236/ewic/IWFM2000.2
S. King & C. Morgan An Iterator Construct for the Refinement Calculus http://dx.doi.org/10.14236/ewic/IWFM2000.3
C. Pahl Modal Logics for Reasoning about Object-based Component Composition http://dx.doi.org/10.14236/ewic/IWFM2000.4
C. Pahl An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems http://dx.doi.org/10.14236/ewic/IWFM2000.5
M.R. Poppleton & R.H. Banach Retrenchment: Extending Refinement for Continuous and Control Systems http://dx.doi.org/10.14236/ewic/IWFM2000.6
C. Tabacznyj Abstract Clustering for Program Comprehension http://dx.doi.org/10.14236/ewic/IWFM2000.7