9th International Joint Conference on Automated Reasoning (Event)

Braüner, T. (Member)

Activity: MembershipMembership in committee, council, board

Description

Member of program committee
Period14 Jul 2018 - 17 Jul 2018
Held at9th International Joint Conference on Automated Reasoning
Event typeConference
Location