Logic-based Program Synthesis and Transformation (LOPSTR) (Event)

Vanhoof, W. (Member)

Activity: Membership types › Membership of committee

Description

Program Committee
Period10 Sep 2014 → 11 Sep 2014
Event titleLogic-based Program Synthesis and Transformation (LOPSTR): null
Event typeScientific committee
LocationKent, United Kingdom