@inproceedings{ Gea-Megias_GUTIERREZ:1-11,

author = { Miguel Gea-Megias and FRANCISCO LUIS GUTIERREZ VELA } ,

title = { APLICACIÓN DE TÉCNICAS FORMALES EN EL DISEÑO DE SISTEMAS COOPERATIVOS },

booktitle = { CONGRESO INTERNACIONAL DE INTERACCIÓN PERSONA-ORDENADOR (2.2001.SALAMANCA) },

year = { 2001 },

pages = { 1 - 11 },

location = { SALAMANCA },

}