Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops Paolo Masci, Cinzia Bernardeschi, Pierluigi Graziani, Mario Koddenbrock & Maurizio Palmieri: другие книги

Dependable Computing - EDCC 2020 Workshops

2020