11
Publications
397
Citations
11
H-Index
1994
Active since
Affiliations
Mário Florido is an author at Universidade do Porto specializing in engineering, automated reasoning, and formal methods.
Top concepts
EngineeringFormal MethodsAutomated ReasoningMedicineImmunologyAutoimmunityImmunotherapyImmunopathologyComputer ScienceProgram Analysis
Publications per year
1994–2017
11
11
Rows per page
1–5 of 11