1
Publications
29
Citations
1
H-Index
2023
Active since
Affiliations
Universidad Politécnica de Madrid(Current)
Daniel Jurjo is an author at Universidad Politécnica de Madrid specializing in automated reasoning, formal verification, and program analysis.
Top concepts
EngineeringLogic DesignVerificationFormal MethodsSoftware DesignComputer ScienceProgram AnalysisLogic ProgrammingSoftware AnalysisAutomated Reasoning
Publications per year
2023–2023
1
1
Rows per page
1–1 of 1