Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, … Papers (Lecture Notes in Computer Science) (PDF/EPUB Version)

Author: Antonio Cerone (editor), Marco Autili (editor), Alessio Bucaioni (editor), Cláudio Gomes (editor), Pierluigi Graziani (editor), Maurizio Palmieri (editor), Marco Temperini (editor), Gentiane Venture (editor)
Series:
Publisher: Springer
Year: 2022
Edition:
Language: English
ISSN: