Leveraging Applications of Formal Methods, Verification and Validation : Tools and Trends
Subtitle: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV
Publisher: Springer International Publishing AG
Published: 2021
Language: eng
Number of pages: 260
ISBN-13: 9783030837228