Formal Analysis and Design of Software Systems
Grupo de investigación validado por la UCM con número 910398.
Parece que no hay nada en esa ubicación. ¿Quieres probar a buscar?