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

Pill, I. H. (Member)

Activity: MembershipMembership of research network or expert group

Description

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

Keywords

  • Information, Communication & Computing