Logic-based program synthesis and transformation (LOPSTR 2007)

Activity: Participating in or organising an event typesParticipation in conference

Period23 Aug 200724 Aug 2007
Event typeSymposium
LocationCopenhagen, Denmark