3
Publications
96
Citations
3
H-Index
2014
Active since
Affiliations
Samy Sá is an author at Universidade Federal do Ceará specializing in formal methods, engineering, and logic programming.
Top concepts
SemanticsEngineeringFormal MethodsLogic ProgrammingAutomated ReasoningFormal VerificationLanguageLinguisticsVerificationArgumentation
Publications per year
2014–2019
3
3
Rows per page
1–3 of 3