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

Browse the full FM paper archive.