Automated Technology for Verification and Analysis

ATVA 2006

Fourth international symposium on Automated Technology for Verification and Analysis, 23-26 October 2006, Beijing, China