Automated Technology for Verification and Analysis
Subtitle: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings
By: edited by Ahmed Bouajjani, Wei-Ngan Chin
Contributors: Chin, Wei-Ngan; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6252
Publisher: Springer-Verlag Heidelberg
Published: 2010
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642156427; 9783642156434
Subjects: Logic design; Computer networks; Computer science; Software engineering