Spara
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.
- Undertitel
- 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings
- Redaktör
- Radu Calinescu, Corina S. Pasareanu
- Upplaga
- 1st ed. 2021
- ISBN
- 9783030921231
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2021-12-03
- Sidor
- 522
