English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Hauptwerk
1st Workshop on Pre- and Post-Deployment Verification Techniques, PrePost 2016. Proceedings. Online resource
Information
Publications
Export
Statistics
Options
Title
1st Workshop on Pre- and Post-Deployment Verification Techniques, PrePost 2016. Proceedings. Online resource
Titel Supplements
Reykjavík, Iceland, 4th June 2016; 12th International Conference on integrated Formal Methods (iFM 2016)
Verlagsort
Reykjavík
Datum
2016
Externe URL
http://eptcs.web.cse.unsw.edu.au/content.cgi?PrePost2016
Konferenz
Workshop on Pre- and Post-Deployment Verification Techniques (PrePost) 2016
International Conference on integrated Formal Methods (iFM) 2016