Opening book details…
Can I read Software engineering and formal methods : 19th international conference, SEFM 2021, virtual event, December 6-10, 2021 : proceedings on EtoBox?
Software engineering and formal methods : 19th international conference, SEFM 2021, virtual event, December 6-10, 2021 : proceedings by Jasper Denkers; Marvin Brunner; Louis van Gool; Eelco Visser is a computer science book available to read on EtoBox.
What is Software engineering and formal methods : 19th international conference, SEFM 2021, virtual event, December 6-10, 2021 : proceedings about?
<p>This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual event, in December 2021.</p> <p>The 22 full papers presented together with 4 short papers were carefully reviewed and selected from 86 submissions. Also included are 2 invited talks and an abstract of a keynote talk. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification,
Who reads Software engineering and formal methods : 19th international conference, SEFM 2021, virtual event, December 6-10, 2021 : proceedings?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Jasper Denkers; Marvin Brunner; Louis van Gool; Eelco Visser
- Publisher
- Springer International Publishing Springer
- Published
- 2021
- Language
- EN
- ISBN
- 9783030921248
- Category
- computer science
- Subjects
- Engineering, Mathematics, Technology
- Updated
- 2026-03-25
Other editions & translations
More by Jasper Denkers; Marvin Brunner; Louis van Gool; Eelco Visser
Browse all works by Jasper Denkers; Marvin Brunner; Louis van Gool; Eelco Visser
Similar books
- Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings — Manfred Broy (auth.), Karin Breitman, Ana Cavalcanti (2009)
- Software Engineering and Formal Methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings — Cliff B. Jones (auth.), George Eleftherakis, Mike Hinchey, Mike Holcombe (2012)
- Formal Methods Teaching : 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings — João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung (2021)
- Software Engineering And Formal Methods: 15th International Conference, Sefm 2017, Trento, Italy, September 4?8, 2017, Proceedings (lecture Notes In Computer Science) — Marjan Sirjani Alessandro Cimatti (2017)
- 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) — Antonio Cerone , Marco Autili , Alessio Bucaioni , Cláudio Gomes , Pierluigi Graziani , Maurizio Palmieri , Marco Temperini , Gentiane Venture (2022)
- Edge Computing – EDGE 2021 : 5th International Conference, Held As Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings — Liang-Jie Zhang; Services Conference Federation. Conference (2022)