Tallenna
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.
- Alaotsikko
- 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings
- Toimittaja
- Radu Calinescu, Corina S. Pasareanu
- Painos
- 1st ed. 2021
- ISBN
- 9783030921231
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 3.12.2021
- Kustantaja
- Springer Nature Switzerland AG
- Sivumäärä
- 522
