author : Denis Sabatier

Short works

• The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications. 1999. (In FM'99 volume 1 )