Automated technology for verification and analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, october 3-6, 2012. Proceedings /
Formato: | Libro |
---|---|
Publicado: |
c2012.
|
Acceso en línea: | Ver documento en línea |
ISBN: | 9783642333866 |
---|