• Español
  • English

    Grupo de Métodos Formales

    Presentación:

    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".

    Líneas de Investigación:

    • Métodos Formales