Related Books
Language: en
Pages: 424
Pages: 424
Type: BOOK - Published: 2023-02-10 - Publisher: Springer Nature
This volume constitutes the revised selected papers from the four workshops collocated with the 20th International Conference on Software Engineering and Formal
Language: en
Pages: 355
Pages: 355
Type: BOOK - Published: 2022-09-24 - Publisher: Springer Nature
This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Met
Language: en
Pages: 373
Pages: 373
Type: BOOK - Published: 2022-09-21 - Publisher: Springer Nature
This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in B
Language: en
Pages: 277
Pages: 277
Type: BOOK - Published: 2020-09-09 - Publisher: Springer Nature
The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering
Language: en
Pages: 0
Pages: 0
Type: BOOK - Published: 2021 - Publisher:
This volume constitutes the revised selected papers from the three workshops collocated with the 18th International Conference on Software Engineering and Forma