Logic Based Program Synthesis and Transformation

Vanhoof, W. (Contributor)

Activity: Participating in or organising an event typesParticipation in conference

Period15 Jun 1998 - 20 Jun 1998
Event typeSymposium
LocationManchester, United Kingdom