Tests and Proofs : 12th International Conference, Tap 2018, Held As Part of Staf 2018, Toulouse, France, June 27-29, 2018, Proceedings
ISBN: 9783319929941
Information Available:
Cover Image
Copyright held by Baker & Taylor.