Extra Materials Archive

Book cover

Logic-Based Program Synthesis and Transformation

26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

© 2017

Soft cover - Print (ISBN: 978-3-319-63138-7)

Electronic (ISBN: 978-3-319-63139-4)

View this book on SpringerLink

Extra Materials File 978-3-319-63139-4