Tomas Poch

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

Antiguo Research Intern

Tutor: Pedro López

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

Software component behavior specifications, refinement of behavior specifications, model checking, bounded languages