@inproceedings{ GUTIERREZ_CABRERA_TORRES_Gea-Megias:61-67,

author = { FRANCISCO LUIS GUTIERREZ VELA and MARCELINO JOSE CABRERA CUEVAS and JUAN CARLOS TORRES CANTERO and Miguel Gea-Megias } ,

title = { MODELO DE CONSTRUCCIÓN DE SISTEMAS INTERACTIVOS BASADO EN TÉCNICAS FORMALES },

booktitle = { JORNADAS DE INTERACCIÓN PERSONA-ORDENADOR (1.2000.GRANADA, ESPAÑA) },

year = { 2000 },

pages = { 61 - 67 },

}