Tomas Poch

The information in this page may be outdated, as Tomas Poch is currently not a member of the Institute.

Research Interests

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