| 91 | -- | 0 | Jan Madey, Andrzej Tarlecki, Wladyslaw M. Turski. Foreword |
| 93 | -- | 110 | André Arnold, Didier Bégay, Jean-Pierre Radoux. The Embedded Software of an Electricity Meter: An Experience in Using Formal Methods in an Industrial Project |
| 111 | -- | 138 | José Luiz Fiadeiro, T. S. E. Maibaum. Categorical Semantics of Parallel Program Design |
| 139 | -- | 170 | Michal Iglewski, Janina Mincer-Daszkiewicz. Internal Design of Modules Specified in the Trace Assertion Method |
| 171 | -- | 192 | Jifeng He, Karen Seidel, Annabelle McIver. Probabilistic Models for the Guarded Command Language |
| 193 | -- | 223 | Feliks Kluzniak, Miroslawa Milkowska. Spill - A Logic Language for Writing Testable Requirements Specifications |
| 225 | -- | 246 | Piotr Kosiuczenko, Martin Wirsing. Timed Rewriting Logic with an Application to Object-Based Specification |
| 247 | -- | 271 | Peter Pepper, Douglas R. Smith. A High-Level Derivation of Global Search Algorithms (with Constraint Propagation) |
| 273 | -- | 299 | Jeannette M. Wing, Mandana Vaziri. A Case study in Model Checking Software Systems |