Nasa Formal Methods : 10th International Symposium, Nfm 2018, Newport News, Va, USA, April 17-19, 2018, Proceedings
ISBN: 9783319779355
Information Available:
Cover Image
Copyright held by Baker & Taylor.