Constraint-based Specification Repair
O projeto SpecRep pretende promover a correta especificação formal de componentes de software, necessária para o desenvolvimento de software confiável.
O projeto SpecRep pretende promover a correta especificação formal de componentes de software, necessária para o desenvolvimento de software confiável.
Investigador Sénior
Coordenador de Centro
Investigador Sénior
Assistente de Investigação
Investigador Sénior
I - Bolseiro Investigação
I - Estudante Externo
I - Bolseiro Investigação
Investigador Coordenador
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.