Program Committee: 21st International Symposium on Logic-Based Program Synthesis and Transformation (Journal)

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Description

Member of the programme committee.
Period6. Jan 201131. Dec 2011
Type of journalJournal