Logic-based Program Synthesis and Transformation

Activity: Participating in or organising an event typesParticipation in conference

Period22 Sept 199924 Sept 1999
Event typeSymposium
LocationVenice, ItalyShow on map