High-Assurance Software Laboratory (HASLab)
Laboratório de Software Confiável
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
AuthID: I-000-AY4
Public Institutions
Research & Development - Research Center
Address
Departamento de Informática, Edifício 7, Campus de Gualtar, Universidade do Minho,4710 - 057, Braga, Portugal, Braga, PortugalDistrict: Braga Concelho: Amares
Region : North
Founded Year
2011