Didier Bégay

	2001
5		Didier Bégay, Antoine Rauzy: A realistic involvement of formal methods. Softw., Pract. Exper. 31(2): 191-208 (2001)
	1997
4		André Arnold, Didier Bégay, Jean-Pierre Radoux: The Embedded Software of an Electricity Meter: An Experience in Using Formal Methods in an Industrial Project. Sci. Comput. Program. 28(2-3): 93-110 (1997)
	1996
3		André Arnold, Didier Bégay, Jean-Pierre Radoux: The Embedded Software of an Electrical Meter: An Experiment in Using Formal Methods in an Industrial Project. AMAST 1996: 19-32
2		André Arnold, Didier Bégay, Jean-Pierre Radoux: An Example of Use of Formal Methods to Debug an Embedded Software. FME 1996: 649-661
	1980
1		Didier Bégay, Laurent Kott: Preuves de programmes sans induction. CLAAP 1980: 182-198

Coauthor Index

1	André Arnold	[2] [3] [4]
2	Laurent Kott	[1]
3	Jean-Pierre Radoux	[2] [3] [4]
4	Antoine Rauzy	[5]

Colors in the list of coauthors