Carlos A. Garcia-Rios is an author at Universidad Rey Juan Carlos specializing in formal methods, software architecture, and system software.
Top concepts
DesignEngineeringSemantic WebFormal MethodsSoftware DesignSystem SoftwareProgram AnalysisSoftware TestingSoftware AnalysisAutomated Reasoning
Publications per year
2015–2015
1
1
Rows per page
1–1 of 1