×
  • Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings

    Shuyuan Zhang

Click on cover to enlarge.
10 - 12Hours to read