CASC 2007
 |
| Home |
| Proceedings |
|
The accepted CASC'2007 papers have been published in the Springer-Verlag series Lecture Notes in Computer Science, LNCS 4770. You can find information about it here or access the online version. For Authors: Download the Springer lncs style package for Latex2e. Further style packages can be obtained from SpringerOnline http://www.springeronline.com/lncs. |