Reading: Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings (Lecture Notes in Computer Science Book 13474) full version

You are about to access our book library "Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings (Lecture Notes in Computer Science Book 13474) full version" .