István Bozó is an author at Eötvös Loránd University specializing in program analysis, software analysis, and formal methods.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisLanguageLinguisticsSoftware DesignSystem SoftwareSoftware Testing
Publications per year
2014–2017
2
2
Discovering parallel pattern candidates in Erlang
István Bozó, Viktória Fördős, Zoltán Horváth et al. · 2014 · 21 citations
Rows per page
1–2 of 2