LOPSTR 2017 - International Symposium on Logic-Based Program Synthesis and Transformation
- Christiansen, H. (Organizer)
Activity: Participating in or organising an event › Organisation and participation in conference
Activity: Participating in or organising an event › Organisation and participation in conference