| |
| 2007 | ||
|---|---|---|
| 3 | EE | Florent Kirchner, François-Régis Sinot: Rule-Based Operational Semantics for an Imperative Language. Electr. Notes Theor. Comput. Sci. 174(1): 35-47 (2007) |
| 2 | EE | Florent Kirchner, César Muñoz: PVS#: Streamlined Tacticals for PVS. Electr. Notes Theor. Comput. Sci. 174(11): 47-58 (2007) |
| 2006 | ||
| 1 | EE | Florent Kirchner: A Finite First-Order Theory of Classes. TYPES 2006: 188-202 |
| 1 | César Muñoz | [2] |
| 2 | François-Régis Sinot | [3] |