1
Publications
42
Citations
1
H-Index
2001
Active since
Affiliations
Universidad Complutense de Madrid(Current)
Maria Teresa Hortalá-González is an author at Universidad Complutense de Madrid specializing in automated reasoning, formal verification, and formal methods.
Top concepts
CompilersSemanticsEngineeringFormal MethodsComputer ScienceLogic ProgrammingAutomated ReasoningFormal VerificationNon-monotonic LogicProgramming Languages
Publications per year
2001–2001
1
1
Rows per page
1–1 of 1