Laboratório de Software Confiável (HASLab)
High-Assurance Software Laboratory
Inesc Tecnologia e Ciência (INESC TEC) :: CS: Computer Science
AuthID: I-000-AY4
Public Institutions
Investigação & Desenvolvimento - Centro de Investigação
Endereço
Departamento de Informática, Edifício 7, Campus de Gualtar, Universidade do Minho,4710 - 057, Braga, Portugal, Braga, PortugalDistrito: Braga Concelho: Amares
Região : Região do Norte
Founded Year
2011