High-Assurance Software Laboratory (HASLab)
Laboratório de Software Confiável

Inesc Technology and Science (INESC TEC) :: CS: Computer Science

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, Portugal

District: Braga Concelho: Amares

Region : North
Founded Year
2011