International Symposium on Logic-Based Program Synthesis and Transformation (symposium)

User Publication Person Organisation Collection