Carlos José Cabral Cardoso

• The use and the role of formal methods in R&D projecy selection processes