Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings /

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT industry, particularly hardware design and manufacturing in East Asia. Its purpose is to promote researc...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Peled, Doron A. (Editor), Tsay, Yih-Kuen. (Editor)
Format: SpringerLink eBooks
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Series:Lecture Notes in Computer Science, 3707
Subjects:
Online Access:http://dx.doi.org/10.1007/11562948

Internet

http://dx.doi.org/10.1007/11562948

3rd Floor Main Library

Call Number: A1234.567
Copy 1 Available