Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops
Subtitle: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, ...
Publisher: Springer
Published: Feb 03, 2018
Format: paperback
Number of pages: 602
ISBN-13: 9783319747804
Notes: Source title: Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, ... (Lecture Notes in Computer Science (10729))