Introduction: Special Issues for FM'99, the First World Congress on Formal Methods in the Development of Computing Systems Jeannette WingJim Woodcock Introduction Pages: 199 - 200
Logic Based Abstractions of Real-Time Systems Roberto BarbutiNicoletta De FrancescoGigiola Vaglini OriginalPaper Pages: 201 - 220
Proving the Correctness of the Standardized Algorithm for ABR Conformance Jean-François Monin OriginalPaper Pages: 221 - 243
The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications Denis SabatierPierre Lartigue OriginalPaper Pages: 245 - 272