Pierre Lartigue

	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		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

Coauthor Index

1

Denis Sabatier

[1] [2]