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 ...