19
Publications
783
Citations
15
H-Index
2006
Active since
Tamás Szabó is an author at Budapest University of Technology and Economics specializing in engineering, computer science, and software engineering.
Top concepts
EngineeringComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningSoftware EngineeringFormal MethodsSoftware DesignSoftware TestingFormal Verification
Publications per year
2006–2023
19
19
Rows per page
1–5 of 19