1
Publications
36
Citations
1
H-Index
2015
Active since
Affiliations
Ágnes Barta is an author at Budapest University of Technology and Economics specializing in software analysis, computational linguistics, and computer science.
Top concepts
LanguageSemanticsEngineeringLinguisticsVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated Reasoning
Publications per year
2015–2015
1
1
Rows per page
1–1 of 1