×
  • Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers

    Cinzia Bernardeschi

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