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

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

Show other versions (1)
Saved in:
Bibliographic Details
Corporate Authors: ATVA 2005 Taipei, Taiwan, SpringerLink (Online service)
Other Authors: Peled, Doron A., Tsay, Yih-Kuen
Format: Conference Proceeding eBook
Language:English
Published: Berlin Heidelberg Springer 2005.
Series:Lecture Notes in Computer Science, 3707
Subjects:
Automatic theorem proving > Congresses.
Computer Science.
Online Access:SpringerLink
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:xii, 506 p. ill., digital 24 cm.
ISSN:0302-9743 ;

Similar Items