1
Publications
12
Citations
1
H-Index
2014
Active since
Affiliations
Brno University of Technology(Current)
Vendula Hrubá is an author at Brno University of Technology specializing in software analysis, formal verification, and computer science.
Top concepts
CompilersEngineeringComputer ScienceHardware SystemsProgram AnalysisSoftware SystemsSoftware TestingSoftware AnalysisParallel ComputingFormal Verification
Publications per year
2014–2014
1
1
Rows per page
1–1 of 1