Steering Committee of the Logic-Based Program Synthesis and Transformation Symposium (External organisation)
- Glück, R. (Board member)
Activity: Membership types › Membership in committee, council, board
Activity: Membership types › Membership in committee, council, board