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 201817 Jul 2018
Event title9th International Joint Conference on Automated Reasoning
Event typeConference
Location