Logic-Based Program Synthesis and Transformation
Subtitle: 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings
Publisher: Springer
Published: 2024
Language: eng
ISBN-13: 9783031712937