Damir Valput
The information in this page may be outdated, as Damir Valput is currently not a member of the Institute.
Research Interests
Logic and automata theory. Application of automata theory. Embedded systems. Verification.
The information in this page may be outdated, as Damir Valput is currently not a member of the Institute.
Logic and automata theory. Application of automata theory. Embedded systems. Verification.