English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Hauptwerk
Verification, model checking, and abstract interpretation. 17th international conference, VMCAI 2016
Information
Publications
Export
Statistics
Options
Title
Verification, model checking, and abstract interpretation. 17th international conference, VMCAI 2016
Titel Supplements
St. Petersburg, FL, USA, January 17-19, 2016; Proceedings; Co-located with POPL 2016
Verlag
Springer
Verlagsort
Berlin
Datum
2015
Serie
Lecture Notes in Computer Science; 9583
Konferenz
International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) 2016
Symposium on Principles of Programming Languages (POPL) 2016