Métodos Formais em Engenharia de Software

Mestrado Integrado em Engenharia Informática - MFES 2020/2021

Tópicos

Avisos

29 Nov - Os avisos de CSI estão agora nesta página: https://haslab.github.io/MFES/CSI/2021/index

27 Out - EM: o servidor do alloy4fun já está a funcionar.

12 Out - As aulas iniciam-se esta semana.

17 Set - Vídeo de apresentação da edição 2020/21 de MFES.

Education » MFES » WebHome » EM

Especificação e Modelação (H507O2)

Devido a problemas de segurança identificados pelos administradores deste wiki, a página de EM migrou para aqui.

r28 - 30 Nov 2020 - 08:18:15 - AlcinoCunha
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM