Logic-based Program Synthesis and Transformation (LOPSTR)

Activity: Participating in or organising an event typesParticipation in conference

Period26 Aug 200428 Aug 2004
Event typeSymposium
LocationVerona, Italy