Filipe Gouveia
Filipe Gouveia
Home
Publications
Experience
Teaching
Projects
Light
Dark
Automatic
Automated Reasoning
AutoCS
The Automatic Computer Scientist
Andrew Cropper
,
Céline Hocquette
,
Filipe Gouveia
RIGA
Reasoning Over Indirect Discrimination
Inês Lynce
,
Filipe Gouveia
,
Vasco Manquinho
Code
Cite
×