(One of the Course Clusters.)
- FM = Formal methods and testing
- FM Chair LaKo, Co-chair WoAh, GeSc, MoJo, MeWa
- FM: Testing, debugging and verification (@ST)
- FM: Model based testing (@ST)
- FM: Software engineering using formal methods (@ST)
- FM: Test and verification (@ST)