×
  • Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

    Krishnendu Chatterjee

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