4th Workshop on Synthesis (SYNT 2015, colocated with CAV) (Event)

Pill, I. H. (Member)

Activity: Membership › Membership of research network or expert group

Description

Program Committee Member
Period2015
Event title4th Workshop on Synthesis (SYNT 2015, colocated with CAV)
Event typeWorkshop
LocationSan Francisco, United States

Fields of Expertise

  • Information, Communication & Computing