Fm 2015 : Formal Methods: 20th International Symposium, Proceedings
ISBN: 9783319192499
Information Available:
Summary
Cover Image
Copyright held by Baker & Taylor.