Logic-based Program Synthesis and Transformation

Activity: Participating in or organising an event typesParticipation in conference

Period22 Sep 199924 Sep 1999
Event typeSymposium
LocationVenice, Italy