2nd International Symposium on

Automated Technology for Verification and Analysis

National Taiwan University Sunday 31 October - Wednesday 3 November 2004