The accepted CASC 2018 papers will be published in the Springer-Verlag series Lecture Notes in Computer Science.

Get online access to the proceedings here.