4
Publications
81
Citations
4
H-Index
2007
Active since
Francisco Fernández de Vega is an author at Universidad de Extremadura specializing in computer science, system software, and program analysis.
Top concepts
EngineeringSystem SoftwareComputer ScienceProgram AnalysisVerificationSoftware DesignTest AutomationSoftware TestingSoftware AnalysisFormal Verification
Publications per year
2007–2011
4
4
Rows per page
1–4 of 4