Número de Cutter-SanbornM395sEntrada «Masc» → 395 · marca de obra “s”

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops

Name: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
ISBN: 9783031262357

AI4EA, F-IDE, Cosim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers

Autor	Paolo Masci, Cinzia Bernardeschi, Pierluigi Graziani, Mario Koddenbrock,

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops (2023) — ISBN 9783 | Cutter Number