2
Publications
27
Citations
2
H-Index
2011
Active since
Affiliations
Technical University of Košice(Current)
Viliam Slodičák is an author at Technical University of Košice specializing in formal methods, program analysis, and mathematical programming.
Top concepts
SemanticsEngineeringFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningMathematical Programming
Publications per year
2011–2011
2
2
Rows per page
1–2 of 2