Papers:
P.S.C. Alencar, D.D. Cowan, L.C.M. Nova & C.J.P. Lucena A Formal Theory for the Views-a Relationship http://dx.doi.org/10.14236/ewic/NFM1998.1
P. Amthor A CSP Model for Hybrid Automata http://dx.doi.org/10.14236/ewic/NFM1998.2
E. Boiten & J. Derrick IO-Refinement in Z http://dx.doi.org/10.14236/ewic/NFM1998.3
Dr. A. Butterfield Recursion Diagrams: Ideas for a Geometry of Formal Methods http://dx.doi.org/10.14236/ewic/NFM1998.4
T. Clark A Semantics for Object-Oriented Systems http://dx.doi.org/10.14236/ewic/NFM1998.5
T. Clement The Formal Development of a Windows Interface http://dx.doi.org/10.14236/ewic/NFM1998.6
D.A. Duffy On Partial-Function Application in Z http://dx.doi.org/10.14236/ewic/NFM1998.7
S. Dunne, A. Galloway & B. Stoddart Specification and Refinement in General Correctness http://dx.doi.org/10.14236/ewic/NFM1998.8
S. Flynn Investigating Miraculous Specifications http://dx.doi.org/10.14236/ewic/NFM1998.9
R. Geisler, M. Klar & C. Pons Dimensions and Dichotomy in Metamodeling http://dx.doi.org/10.14236/ewic/NFM1998.10
A. Hamie, J. Howse & S. Kent Modular Semantics for Object-Oriented Models http://dx.doi.org/10.14236/ewic/NFM1998.11
I. MacColl & D. Carrington Extending the Test Template Framework http://dx.doi.org/10.14236/ewic/NFM1998.12
D. MacKenzie Computers and the Sociology of Mathematical Proof http://dx.doi.org/10.14236/ewic/NFM1998.13
C. Minkowitz & J. Atkiss An Object-oriented Formal Specification of a Configuration Language for Railway Interlockings http://dx.doi.org/10.14236/ewic/NFM1998.14
S. Stepney A Tale of Two Proofs http://dx.doi.org/10.14236/ewic/NFM1998.15
I. Toyn A Tactic Language for Reasoning About Z Specifications http://dx.doi.org/10.14236/ewic/NFM1998.16