Inmaculada P. de Guzmán is an author at Universidad de Málaga specializing in engineering, automated reasoning, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal Verification
Publications per year
2004–2004
1
1
Rows per page
1–1 of 1