The accepted CASC 2017 papers are published in the Springer-Verlag series Lecture Notes in Computer Science, volume 10490.

Get online access to the proceedings here.