Logic-based Program Synthesis and Transformation (LOPSTR)
- Vanhoof, W. (Contributor)
Activity: Participating in or organising an event types › Participation in conference
Activity: Participating in or organising an event types › Participation in conference