IMDEA Software
María de Maeztu

Iniciativa IMDEA

Inicio > Personal > Damir Valput

Damir Valput

La información de esta página podría estar desactualizada debido a que Damir Valput no es actualmente miembro del Instituto.

Damir Valput
MS - Universidad de Zagreb, Croacia
Antiguo PhD Student


Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

Research Interests

Logic and automata theory. Application of automata theory. Embedded systems. Verification.