Title

Leveraging applications of formal methods, verification and validation. Applications. Proceedings. Pt.III
Titel Supplements
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020
Hrsg
Margaria, T.
Institut
TU Berlin, European Association of Software Science and Technology -EASST-
Verlag
Verlagsort
Cham
Datum
2020
Serie
Lecture Notes in Computer Science
ISBN
978-3-030-61466-9
978-3-030-61467-6
Konferenz