1
Publications
15
Citations
1
H-Index
2022
Active since
Affiliations
Carlos Galindo is an author at Artificial Intelligence Research Institute specializing in formal methods, computer engineering, and system software.
Top concepts
EngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystems Engineering
Publications per year
2022–2022
1
1
Rows per page
1–1 of 1