M. M. Gallardo is an author at Universidad de Málaga specializing in system software, automated reasoning, and computer engineering.
Top concepts
EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingOperating SystemsSoftware AnalysisAutomated Reasoning
Publications per year
2005–2011
2
2
Model checking software with well-defined APIs
Pedro de la Cámara, M. M. Gallardo, Pedro Merino et al. · 2005 · 18 citations
Rows per page
1–2 of 2