Partners

Formal Techniques in Software Engineering Group (FoTS)

Software Architecture Group (SWA)

Software Composition Group (SCG)

Software Languages Lab (SOFT)

Programming Principles and Practices Group (PPP)