Volume 17, Number 1, August 2000
: Timing Analysis of Combinational Circuits in Intuitionistic Propositional Logic.
: Parametric Analysis of Computer Systems.
Volume 17, Number 2, October 2000
Volume 17, Number 3, December 2000
Jeannette M. Wing
, Jim Woodcock
: Introduction: Special Issues for FM'99, the First World Congress on Formal Methods in the Development of Computing Systems.
: Proving the Correctness of the Standardized Algorithm for ABR Conformance.
, Pierre Lartigue
: The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications.