×
  • Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

    Sriram K. Rajamani (auth.) Sungdeok (Steve) Cha Jin-Young Choi Moonzoo Kim Insup Lee Mahesh Viswanathan (eds.)

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