Spar
Software Engineering and Formal Methods
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.
The 22 full papers presented together with 4 short papers were carefully reviewed and selected from 86 submissions.
- Undertittel
- 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings
- Redaktør
- Radu Calinescu, Corina S. Pasareanu
- Opplag
- 1st ed. 2021
- ISBN
- 9783030921231
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 3.12.2021
- Antall sider
- 522
