×
  • Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings

    Joshua D. Guttman (auth.)

Click on cover to enlarge.
Buy This Book
From Amazon.
7 - 8Hours to read