×
  • Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

    Dimitra Giannakopoulou

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