×
  • Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings

    Thomas Ball

Click on cover to enlarge.
Buy This Book
From Amazon.
4 - 5Hours to read