Software Engineering and Formal Methods
Subtitle: 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings
Publisher: Springer International Publishing AG
Published: 2022
Language: eng
ISBN-13: 9783030921231