2
Publications
25
Citations
2
H-Index
2010
Active since
Affiliations
Pablo Albertengo is an author at Centro Internacional Franco-Argentino de Ciencias de la Información y de Sistemas specializing in verification, automated reasoning, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal VerificationSystems Engineering
Publications per year
2010–2012
2
2
Rows per page
1–2 of 2