| 1 | -- | 0 | Cliff B. Jones, John Cooke. Editorial |
| 2 | -- | 3 | John S. Fitzgerald. Formal Methods Europe Update |
| 4 | -- | 0 | Cliff B. Jones, D. J. Cooke, Christiane Notarmarco. Online First Publication |
| 5 | -- | 18 | Antónia Lopes, José Luiz Fiadeiro. Superposition: composition vs refinement of non-deterministic, action-based systems |
| 19 | -- | 35 | Clare E. Martin, Jeremy Gibbons, Ian Bayley. Disciplined, efficient, generalised folds for nested datatypes |
| 36 | -- | 50 | Alan Stewart, Maurice Clint, Joaquim Gabarró. Barrier synchronisation: Axiomatisation and relaxation |
| 51 | -- | 79 | Richard F. Paige, Jonathan S. Ostroff. ERC - An object-oriented refinement calculus for Eiffel |
| 80 | -- | 94 | C. T. Carr, T. Martin McGinnity, L. J. McDaid. Integration of UML and VHDL-AMS for analogue system modelling |