1
Publications
10
Citations
1
H-Index
2019
Active since
Affiliations
Universidade Federal do Ceará(Current)
Juan Acosta-Guadarrama is an author at Universidade Federal do Ceará specializing in linguistics, computer science, and formal methods.
Top concepts
LanguageSemanticsEngineeringLinguisticsVerificationFormal MethodsComputer ScienceLogic ProgrammingAutomated ReasoningFormal Verification
Publications per year
2019–2019
1
1
Rows per page
1–1 of 1