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. Specialized techniques and applications. 6th international symposium, ISoLA 2014. Vol.2
Information
Publications
Export
Statistics
Options
Title
Leveraging applications of formal methods, verification and validation. Specialized techniques and applications. 6th international symposium, ISoLA 2014. Vol.2
Titel Supplements
Imperial, Corfu, Greece, October 8-11, 2014; Proceedings
Hrsg
Margaria-Steffen, T.
Verlag
Springer
Verlagsort
Berlin
Datum
2014
Serie
Lecture Notes in Computer Science
Konferenz
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) 2014
International School on Tool-Based Rigorous Engineering of Software Systems (STRESS) 2014