Title

Leveraging Applications of Formal Methods, Verification and Validation. Proceedings

Title Supplement

10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021

Person Involved

Publisher

Publishing Place

Cham

Publication Date

2021

Series

Lecture Notes in Computer Science; 13036

ISBN

978-3-030-89158-9

978-3-030-89159-6

978-3-030-89160-2

Conference