Leveraging Applications of Formal Methods, Verification and Validation
Subtitle: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings
Publisher: Springer International Publishing AG
Published: 2021
Language: eng
ISBN-13: 9783030891589