Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings - International Conference on Formal Methods for Industrial Critical Systems; Lafuente, Alberto Lluch; Mavridou, Anastasia (Springer Nature, 2021)
Keywords: Computer programming, programs, data; Computer programs -- Verification -- Congresses; Formal methods (Computer science) -- Congresses; Software engineering -- Congresses