| |
| 2000 | ||
|---|---|---|
| 2 | 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 in System Design 17(3): 245-272 (2000) | |
| 1999 | ||
| 1 | EE | 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: 348-368 |
| 1 | Denis Sabatier | [1] [2] |