English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Hauptwerk
Leveraging applications of formal methods, verification and validation. Applications. Proceedings. Pt.III
Information
Publications
Export
Statistics
Options
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
Springer Nature
Verlagsort
Cham
Datum
2020
Serie
Lecture Notes in Computer Science
Konferenz
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) 2020