Pedro de la Cámara is an author at Universidad de Málaga specializing in computer engineering, verification, and formal verification.
Top concepts
EngineeringVerificationSoftware TestingSoftware AnalysisFormal VerificationComputer EngineeringFormal MethodsSystem SoftwareComputer ScienceProgram Analysis
Publications per year
2005–2010
3
3
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–3 of 3