Logic-based Program Synthesis and Transformation : 28th International Symposium, Lopstr 2018, Frankfurt/main, Germany, September 4-6, 2018, Revised Selected Papers
ISBN: 9783030138387
Information Available:
Cover Image
Copyright held by Baker & Taylor.