Formal Methods : 22nd International Symposium, Fm 2018, Held As Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 15-17, 2018, Proceedings
ISBN: 9783319955827
Information Available:
Cover Image
Copyright held by Baker & Taylor.