Automated Reasoning and Software Reliability

Group Coordinator

Rui Filipe Lima Maranhão de Abreu