| 5 | -- | 38 | Howard Bowman, Helen Cameron, Peter R. King, Simon J. Thompson. Mexitl: Multimedia in Executable Interval Temporal Logic |
| 39 | -- | 58 | Martin Keim, Rolf Drechsler, Bernd Becker, Michael Martin, Paul Molitor. Polynomial Formal Verification of Multipliers |
| 59 | -- | 86 | Béatrice Bérard, Laurent Fribourg, Francis Klay, Jean-François Monin. Compared Study of Two Correctness Proofs for the Standardized |