Logic-based program synthesis and transformation (LOPSTR 2007)

Activité: Participation ou organisation d'un événementParticipation à une conférence, un congrès

Période23 août 200724 août 2007
Type d'événementColloque
LieuCopenhagen, DenmarkAfficher sur la carte