| |
| 2004 | ||
|---|---|---|
| 3 | Denis Sabatier: Reusing formal models. IFIP Congress Topical Sessions 2004: 613-620 | |
| 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 | Pierre Lartigue | [1] [2] |