Carine Fédèle

	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	Emmanuel Kounalis	[3] [4]
2	Olivier Lecarme	[1] [2]
3	Olivier Ponsini	[4]

Colors in the list of coauthors