Proceedings |
The accepted CASC 2013 papers are published in the Springer-Verlag series Lecture Notes in Computer Science as vol LNCS 8136. |
Proceedings |
The accepted CASC 2013 papers are published in the Springer-Verlag series Lecture Notes in Computer Science as vol LNCS 8136. |