| |
| * | 1998 | |
|---|---|---|
| 1 | EE | Jacques Julliand, Bruno Legeard, Thierry Machicoane, Benoit Parreaux, Bruno Tatibouët: Specification of an Integrated Circuit Card Protocol Application Using the B Method and Linear Temporal Logic. B 1998: 273-292 |
| 1 | Jacques Julliand | [1] |
| 2 | Bruno Legeard | [1] |
| 3 | Benoit Parreaux | [1] |
| 4 | Bruno Tatibouët | [1] |