Logic-based Program Synthesis and Transformation (LOPSTR)

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

Période26 août 200428 août 2004
Type d'événementColloque
EmplacementVerona, ItalyAfficher sur la carte