Themes

This theme (pronounced: 'Team') studies and develops techniques for software language engineering, generative programming, semantics and verification.

Distributed policies, enforcement and control