| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 5 |      | Carlos Alberto Fernández y Fernández, Jose Angel Quintanar Morales, Hermenegildo Fernandez Santos: An IDE to Build and Check Task Flow Models CoRR abs/1107.2683: (2011) |
| 4 | | Carlos Alberto Fernández y Fernández, Martín José José: Towards the integration of formal specification in the Áncora methodology CoRR abs/1111.1022: (2011) |
| 2008 | ||
| 3 |  | Gabriel Gerónimo Castillo, Carlos Alberto Fernández y Fernández, Ricardo Ruiz Rodríguez: Evolución del proceso de desarrollo de videojuegos en la Iniciativa Académica EDUMÓVIL. JIISIC 2008: 163-170 |
| 2 | | Anthony J. H. Simons, Carlos Alberto Fernández y Fernández: Using Alloy to model-check visual design notations CoRR abs/0802.2258: (2008) |
| 2005 | ||
| 1 | | Anthony J. H. Simons, Carlos Alberto Fernández y Fernández: Using Alloy to model-check visual design notations. ENC 2005: 121-128 |
| 1 | Gabriel Gerónimo Castillo | [3] |
| 2 | Martín José José | [4] |
| 3 | Jose Angel Quintanar Morales | [5] |
| 4 | Ricardo Ruiz Rodríguez | [3] |
| 5 | Hermenegildo Fernandez Santos | [5] |
| 6 | Anthony J. H. Simons | [1] [2] |
Colors in the list of coauthors
Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page