6
Publications
276
Citations
6
H-Index
2011
Active since
Társis Tolêdo is an author at Universidade Federal de Pernambuco specializing in formal methods, software maintenance, and engineering.
Top concepts
EngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisSoftware EngineeringSoftware Maintenance
Publications per year
2011–2014
6
6
Eric Bodden, Társis Tolêdo, Márcio Ribeiro et al. · 2013 · 106 citations
Eric Bodden, Társis Tolêdo, Márcio Ribeiro et al. · ACM SIGPLAN Notices · 2013 · 31 citations
Márcio Ribeiro, Társis Tolêdo, Johnni Winther et al. · 2012 · 10 citations
Rows per page
1–5 of 6