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] |