Software Engineering and Formal Methods
Subtitle: 18th International Conference, SEFM 2020, Amsterdam, the Netherlands, September 14-18, 2020, Proceedings
Publisher: Springer International Publishing AG
Published: 2020
Language: eng
ISBN-13: 9783030587673