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