INESC TEC part of project to improve the development of high-assurance software
INESC TEC’s High-Assurance Software Laboratory (HASLab) coordinates the SpecRep (Constraint-based Specification Repair) project – which focuses on promoting the adequate ...









News, current topics, curiosities and so much more about INESC TEC and its community!