21st International Symposium on Logic-Based Program-Synthesis and Transformation (LOPSTR 2011)
- Schneider-Kamp, P. (Organizer)
Activity: Attending an event › Conference organisation or participation
Activity: Attending an event › Conference organisation or participation