×
  • Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

    Doron Peled (auth.)

Click on cover to enlarge.
Buy This Book
From Amazon.
12 - 14Hours to read