Logic-based Program Synthesis and Transformation

Activity: Participating in or organising an event typesParticipation in conference

Period17 Sept 200220 Sept 2002
Event typeSymposium
LocationMadrid, SpainShow on map