Grupo de Métodos Formales | Facultad de Ingeniería

Acrónimo

MF

Responsables

pardo

Integrantes

Sitio Web

http://www.fing.edu.uy/inco/grupos/mf/

Métodos Formales

El grupo de Métodos Formales del INCO se formó a comienzos del año 1998. Sus principales áreas de investigación son "Constructive Type Theory", "FormalVerification of Reactive Systems" y "Generic Programming and Program Fusion".