We are part of the High-Assurance Software Laboratory, one of the integrated R&D centres of INESC TEC and a subunit of University of Minho.
© 2018 HASLab. Site made with Jekyll and based on the template provided by Allan Lab
Google Analytics is used to improve the website. The privacy terms are available at www.google.com/policies/privacy/partners/.
