| 93 | -- | 94 | Ana Cavalcanti, Dennis Dams. Special issue: 2nd World Congress on Formal Methods |
| 95 | -- | 140 | Raymond T. Boute. Pointfree expression and calculation: from quantification to temporal logic |
| 141 | -- | 170 | Holger Gast. Reasoning about memory layouts |
| 171 | -- | 199 | Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies. Doomed program points |
| 200 | -- | 264 | Shuhao Li, Sandie Balaguer, Alexandre David, Kim G. Larsen, Brian Nielsen, Saulius Pusinskas. Scenario-based verification of real-time systems using Uppaal |
| 265 | -- | 294 | Ralph D. Jeffords, Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard. Model-based construction and verification of critical systems using composition and partial refinement |