Team participation for Mathias Grund Sørensen
Mathias Grund Sørensen is a member of the following teams:
| Team | Joined | Expires | Role | Via | Mailing List |
|---|---|---|---|---|---|
| Discrete Verification | 2012-03-21 | — | Member | — | — |
| SMC Scheduling Maintainers | 2013-02-25 | — | Member | — | — |
| TAPAAL Contributors | — | — | Member | Discrete Verification | — |
| verifydtapn-contributers | 2012-07-01 | — | Member | — | — |
| verifytapn-contributers | 2012-02-17 | — | Member | — | — |
