×
  • Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

    Leonardo de Moura

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