Nikolaj Korbar is an author at University of Maribor specializing in formal verification, compilers, and linguistics.
Top concepts
SyntaxGrammarLanguageCompilersSemanticsEngineeringLinguisticsFormal MethodsComputer ScienceProgram Analysis
Publications per year
1995–1995
1
1
Marjan Mernik, Nikolaj Korbar, V. Žumer · ACM SIGPLAN Notices · 1995 · 29 citations · Full text
Rows per page
1–1 of 1