Papers:
M.A. Changizi Motivation for a New Semantics for Vagueness http://dx.doi.org/10.14236/ewic/FM1998.1
R. Couturier Formal Engineering of the Bitonic Sort Using PVS http://dx.doi.org/10.14236/ewic/FM1998.2
H. Gibbons Declarative View of Imperative Programs http://dx.doi.org/10.14236/ewic/FM1998.3
P. Gibson & D. Méry Teaching Formal Methods: Lessons To Learn http://dx.doi.org/10.14236/ewic/FM1998.4
T.J. Harmer & P.J. McParland Applications of the TAMPR Transformation System http://dx.doi.org/10.14236/ewic/FM1998.5
A. Hughes Towards an Override in Topoi http://dx.doi.org/10.14236/ewic/FM1998.6
S. Fitzpatrick, M. Clint & P. Kilpatrick A Case Study on Proving Transformations Correct: Data-Parallel Conversion http://dx.doi.org/10.14236/ewic/FM1998.7
L.Lai An Unbounded Nondeterministic Model for CSP-like Languages http://dx.doi.org/10.14236/ewic/FM1998.8
B. Matthews & E. Locuratolo Translating Structured Database Schemas into Abstract Machines http://dx.doi.org/10.14236/ewic/FM1998.9
M. Mac an Airchinnigh Mathematics for Formal Methods, a Proposal for Education Reform http://dx.doi.org/10.14236/ewic/FM1998.10
C. Pahl Facilitating Modular Property-Preserving Extensions of Programming Languages http://dx.doi.org/10.14236/ewic/FM1998.11
A.K. Seda & P. Hitzler Strictly Level-Decreasing Logic Programs http://dx.doi.org/10.14236/ewic/FM1998.12
R. Shore A Use Case Interpretation of B AMN http://dx.doi.org/10.14236/ewic/FM1998.13