Friday, March 14, 2008

Automated Technology for Verification and Analysis: 20-23 October, Seoul, South Korea

The ATVA2008, is the sixth in this series of thes workshops, this time held in South Korea, and tends to focus on higher-level aspects of automation.

No comments: