Logic Based Program Synthesis and Transformation

Vanhoof, W. (Orateur)

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

Période15 juin 199820 juin 1998
Type d'événementColloque
LieuManchester, United Kingdom