Projeto

VERDI: Software engineering and verification techniques for distributed programming with replicated state

Registo fonte

Referência:	PRT/BD/154519/2022
Organização financiadora:	Fundação para a Ciência e a Tecnologia
Instituições associadas:	Universidade Nova de Lisboa