Logic-Based Program Synthesis and Transformation: 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9-10, 2025, Proceedings (Volume 16117)

Santiago Escobar, Laura Titolo, 3032048478, 9783032048479, 9783032048486, 978-3032048479, 978-3032048486, B0FR14YTBR