Logic-Based Program Synthesis and Transformation
Subtitle: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings
Publisher: Springer International Publishing AG
Published: 2022
Language: eng
ISBN-13: 9783030988685
Subjects: Mathematics