Logic-based program synthesis and transformation (LOPSTR 2007)
- 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