22nd International Symposium on Logic-Based Program Synthesis and Transformation

Christiansen, H. (Participant)

Activity: Participating in or organising an eventOrganisation and participation in conference

Description

Deltagelse med bidrag
Period18 Sep 201220 Sep 2012
Event typeConference
LocationLeuven, Belgium