Formal Techniques for Safety-critical Systems : 6th International Workshop, Ftscs 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
ISBN: 9783030129880
Information Available:
Cover Image
Copyright held by Baker & Taylor.