Camara, Javier.

Software engineering and formal methods = SEFM 2019 collocated workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019 : revised selected papers / by: International Conference on Software Engineering and Formal Methods (2019 :); Camara, Javier.; Steffen, Martin.; SpringerLink (Online service); CoSim-CPS (Workshop) (2019 :); ASYDE (Workshop) ((2019 :); CIFMA (Workshop) ((2019 :); International Workshop on the Foundations of Coordination Languages and Software Architectures (2019 :) (Electronic resources)