International Symposium on Logic-based Program Synthesis and Transformation

Activity: Participating in or organising an event typesParticipation in conference

Period25 Aug 200327 Aug 2003
Event typeSymposium
LocationUppsala, Sweden