Pierre Lartigue

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

Collaborative distances:

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

2000

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

Formal Methods Syst. Des., 2000