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
AuthID
P-00N-JW3
P-00N-JW3