Title

Leveraging applications of formal methods, verification and validation. Applications. Proceedings. Pt.III

Title Supplement

9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020

Editor(s)

Margaria, T.

Corporate Author

TU Berlin, European Association of Software Science and Technology -EASST-

Publisher

Publishing Place

Cham

Publication Date

2020

Series

Lecture Notes in Computer Science; 12478

ISBN

978-3-030-61466-9

978-3-030-61467-6

Conference