Pierre Lartigue

Publication Activity (10 Years)

Years Active: 1999-2000
Publications (10 Years): 0

Publications

Denis Sabatier, Pierre Lartigue
The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications. Formal Methods Syst. Des. 17 (3) (2000)
Denis Sabatier, Pierre Lartigue
The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications. World Congress on Formal Methods (1999)