Extra Materials Archive

Book cover

Logic-Based Program Synthesis and Transformation

25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

© 2015

Soft cover - Print (ISBN: 978-3-319-27435-5)

Electronic (ISBN: 978-3-319-27436-2)

View this book on SpringerLink

Extra Materials File 978-3-319-27436-2