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	alcino@di.uminho.pt
T, TP1, TP2, TP3, TP4	Jorge Miguel Matos Sousa Pinto	jsp@di.uminho.pt
T	José Nuno Fonseca Oliveira	jno@di.uminho.pt
T	Luís Manuel Dias Coelho Soares Barbosa	lsb@di.uminho.pt
T, TP1, TP2, TP3, TP4	Maria João Gomes Frade	mjf@di.uminho.pt
TP1, TP2, TP3, TP4	Renato Jorge Araújo Neves	nevrenato@di.uminho.pt

Date	Hour	Description
14-01-2022	?	Final test

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

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]