Skip to content. | Skip to navigation

Portal SIC

Sections

Personal tools

Log in

You are here: Home → Research → Research groups → FADOSS: Diseño y Análisis Formal de Sistemas de Software

Document Actions

FADOSS: Diseño y Análisis Formal de Sistemas de Software

by J. Alberto Verdejo López — last modified 2010-01-19 09:50

The link address is: http://maude.sip.ucm.es/fadoss

News: Reclamación sobre pagas extras del PDI 2008-10-30; RSME'09 propuesta de sesión especial 2008-06-18; CfP: MathUI 2008: Mathematical User Interfaces Workshop at MKM'08 2008-04-09; More news…

Powered by Plone CMS, the Open Source Content Management System

This site conforms to the following standards: