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, ISoLA 2016. Pt.1: Foundational techniques
Information
Publications
Export
Statistics
Options
Title
Leveraging applications of formal methods, verification and validation, ISoLA 2016. Pt.1: Foundational techniques
Titel Supplements
7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings
Verlag
Springer International Publishing
Verlagsort
Cham
Datum
2016
Serie
Lecture Notes in Computer Science
Konferenz
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) 2016