Logic Based Program Synthesis and Transformation

Activity: Participating in or organising an event typesParticipation in conference

Period15 Jun 199820 Jun 1998
Event typeSymposium
LocationManchester, United Kingdom