IMDEA initiative
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.