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

Christiansen, H. (Participant)

Activity: Participating in or organising an event › Organisation and participation in conference

Description

Deltagelse med bidrag
Period18 Sep 2012 - 20 Sep 2012
Event typeConference
LocationLeuven, Belgium