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