20th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2010)
- Schneider-Kamp, P. (Participant)
Activity: Attending an event › Conference organisation or participation
Activity: Attending an event › Conference organisation or participation