29 Nov - Os avisos de CSI estão agora nesta página: https://haslab.github.io/MFES/CSI/2021/index27 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.
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 ...
Devido a problemas de segurança identificados pelos administradores deste wiki, o conteúdo desta página passa a estar disponível em https://haslab.github.io/MFES ...
Bem vindo ao Perfil de MFES Bem vindo à página da edição de 2020/21 do perfil de Métodos Formais em Engenharia de Software . Para uma primeira impressão sobre o perfil ...
Education/MFES Web Preferences The following settings are web preferences of the Education/MFES web. These preferences overwrite the site level preferences ...