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