×
  • Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings

    Mark R. Greenstreet (auth.)

Click on cover to enlarge.
Buy This Book
From Amazon.
9 - 10Hours to read