CASC2016

   

   
    Proceedings

 

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

 

Get online access to the proceedings here.