Software Engineering and Formal Methods : Sefm 2017 Collocated Workshops: Datamod, Faacs, Mse, Cosim-cps, and Foclasa, Trento, Italy, September 4-5, 2017, Revised Selected Papers
ISBN: 9783319747811
Information Available:
Cover Image
Copyright held by Baker & Taylor.