×
  • Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings

    Jasmin Christian Blanchette

Click on cover to enlarge.
Buy This Book
From Amazon.