Iniciativa IMDEA
La información de esta página podría estar desactualizada debido a que Damir Valput no es actualmente miembro del Instituto.
Logic and automata theory. Application of automata theory. Embedded systems. Verification.