FADOSS
Diseño y análisis formal de sistemas de software
Date of inception 22 December 2004
Leaders: FERNANDO RUBIO DÍEZADRIÁN RIESCO RODRÍGUEZ
Faculty: Informática
Department: Sistemas Informáticos y Computación
Centre/Institute: Instituto de Tecnología del Conocimiento (ITC)
Email: ariesco@ucm.es
Website: http://maude.ucm.es/fadoss/
Researchers
Classifications
- AEI Areas: Ciencias de la Computación y Tecnología Informática