1. Introduction: Special Issues for FM'99, the First World Congress on Formal Methods in the Development of Computing Systems

   • Jeannette Wing
   • Jim Woodcock

   Introduction Pages: 199 - 200

2. Logic Based Abstractions of Real-Time Systems

   • Roberto Barbuti
   • Nicoletta De Francesco
   • Gigiola Vaglini

   OriginalPaper Pages: 201 - 220

3. Proving the Correctness of the Standardized Algorithm for ABR Conformance

   • Jean-François Monin

   OriginalPaper Pages: 221 - 243

4. The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications

   • Denis Sabatier
   • Pierre Lartigue

   OriginalPaper Pages: 245 - 272