Esteban Pavese is an author at Universidad de Buenos Aires specializing in engineering, program analysis, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSystems EngineeringStatisticsSoftware Testing
Publications per year
2009–2020
4
4
Ezekiel Soremekun, Esteban Pavese, Nikolas Havrikov et al. · IEEE Transactions on Software Engineering · 2020 · 21 citations · Full text
Esteban Pavese, Vı́ctor Braberman, Sebastián Uchitel · 2010 · 11 citations
Rows per page
1–4 of 4