Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings (Lecture ... / Programming and Software Engineering) by Ahmed Bouajjani
English | 2010 | ISBN: 3642156428 | 413 Pages | PDF | 6 MB
These proceedings contain the papers presented at the 8th Internationl S- posium on Automated Technology for Veri?cation and Analysis held during September 21-24, 2010 in Singapore.

Klik HERE to Download