Pierre Lartigue

According to our database, Pierre Lartigue authored at least 1 paper in 1999.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of six.

1999

The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications.

Denis Sabatier, Pierre Lartigue

Proceedings of the FM'99 - Formal Methods, 1999