| |
| 2007 | ||
|---|---|---|
| 3 | EE | José Luis Freire-Nistal, Enrique Freire Brañas, Antonio Blanco Ferro, David Cabrero Souto: On the Representation of Imperative Programs in a Logical Framework. EUROCAST 2007: 202-209 |
| 2003 | ||
| 2 | EE | José Luis Freire-Nistal, Antonio Blanco Ferro, Víctor M. Gulías, José E. Freire Brañas: On the Strong Co-induction in Coq. EUROCAST 2003: 279-290 |
| 2001 | ||
| 1 | EE | José Luis Freire, José E. Freire Brañas, Antonio Blanco Ferro, Juan J. Sánchez Penas: Fusion in Coq. EUROCAST 2001: 583-596 |
| 1 | Enrique Freire Brañas | [3] |
| 2 | José E. Freire Brañas | [1] [2] |
| 3 | José Luis Freire-Nistal (José Luis Freire) | [1] [2] [3] |
| 4 | Víctor M. Gulías | [2] |
| 5 | Juan J. Sánchez Penas | [1] |
| 6 | David Cabrero Souto | [3] |