Carine Fédèle

	2010
5		Olivier Ponsini, Hélène Collavizza, Carine Fédèle, Claude Michel, Michel Rueher: Automatic verification of loop invariants. ICSM 2010: 1-5
	2005
4		Olivier Ponsini, Carine Fédèle, Emmanuel Kounalis: Rewriting of imperative programs into logical equations. Sci. Comput. Program. 56(3): 363-401 (2005)
	1999
3		Carine Fédèle, Emmanuel Kounalis: Automatic Proofs of Properties of Simple C-- Modules. ASE 1999: 283-286
	1992
2		Carine Fédèle, Olivier Lecarme: Towards a Toolkit for Building Language Implementations. Softw., Pract. Exper. 22(11): 911-936 (1992)
	1990
1		Carine Fédèle, Olivier Lecarme: Computer-Aided Building of a Compiler: An Example (Abstract). CC 1990: 212-214

Coauthor Index

1	Hélène Collavizza	[5]
2	Emmanuel Kounalis	[3] [4]
3	Olivier Lecarme	[1] [2]
4	Claude Michel	[5]
5	Olivier Ponsini	[4] [5]
6	Michel Rueher	[5]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page