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 2012 - 20 Sep 2012
Event typeConference
LocationLeuven, Belgium