Checkout

Billing details

Additional information

Your order

Product Subtotal
[PDF] Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings Mark R. Greenstreet (auth.), Zhiming Liu, Anders P. Ravn (eds.)  × 1 $19.99
Subtotal $19.99
Total $19.99
  • Pay via PayPal.

Your personal data will be used to process your order, support your experience throughout this website, and for other purposes described in our privacy policy.