Logic-Based Program Synthesis and Transformation
Subtitle: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised ...
Publisher: Springer
Published: Feb 23, 2019
Format: paperback
Number of pages: 223
ISBN-13: 9783030138370
Notes: Source title: Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised ... (Lecture Notes in Computer Science (11408))