FADOSS
Diseño y análisis formal de sistemas de software
Eraketa data 2004(e)ko abendua-(a)k 22
Arduraduna: FERNANDO RUBIO DÍEZADRIÁN RIESCO RODRÍGUEZ
Fakultatea: Informática
Saila: Sistemas Informáticos y Computación
Ikastegia/Institutua: Instituto de Tecnología del Conocimiento (ITC)
Posta elektronikoa: ariesco@ucm.es
Web-orria: http://maude.ucm.es/fadoss/
Ikertzaileak
Sailkapenak
- AEI eremuak: Ciencias de la Computación y Tecnología Informática