Nasa Formal Methods : 9th International Symposium, Nfm 2017, Moffett Field, Ca, USA, May 16-18, 2017, Proceedings
ISBN: 9783319572888
Information Available:
Cover Image
Copyright held by Baker & Taylor.