Logic-based program synthesis and transformation (LOPSTR 2007)

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

Période23 août 2007 → 24 août 2007
Type d'événementColloque
EmplacementCopenhagen, DenmarkAfficher sur la carte