Name		Name	Last commit message	Last commit date
parent directory ..
f1		f1
f2		f2
f3		f3
f4		f4
f5		f5
frama-c/.frama-c/wp/cache		frama-c/.frama-c/wp/cache
README.md		README.md
org.alloytools.alloy.dist.jar		org.alloytools.alloy.dist.jar

README.md

MFES : Métodos Formais em Engenharia de Software

Formal Methods in Software Engineering

Contacts

Shift	Name	Email
T, TP1, TP2, TP3, TP4	Manuel Alcino Pereira Cunha	[email protected]
T, TP1, TP2, TP3, TP4	Jorge Miguel Matos Sousa Pinto	[email protected]
T	José Nuno Fonseca Oliveira	[email protected]
T	Luís Manuel Dias Coelho Soares Barbosa	[email protected]
T, TP1, TP2, TP3, TP4	Maria João Gomes Frade	[email protected]
TP1, TP2, TP3, TP4	Renato Jorge Araújo Neves	[email protected]

Assessments

Calendar

Date	Hour	Description
14-01-2022	?	Final test

Results

Assessment	Grade (0-20)	Ratio
Final test	16.8	75 %
Homework	20	25 %