×
  • Verified Software: Theories, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

    Philipp Rümmer

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