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

Schneider-Kamp, P. (Peer reviewer)

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Description

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