%0
Generic
%T
Verification, Model Checking, and Abstract Interpretation
17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
%A Jobstmann, Barbara
%A Leino, K. Rustan M.
%7 1st ed. 2016
%I Springer
%@ 9783662491225
%K Computer Science
%K Computer communication systems
%K Programming languages (Electronic computers)
%K Computers
%K Computer logic
%K Mathematical logic
%K Computer science
%K Software engineering
%K Computer networks .
%K Machine theory.
%K Compilers (Computer programs).
%K Programmanalyse
%K Programmverifikation
%K Model Checking
%K Abstrakte Interpretation
%K Formale Methode
%D 2016
%C Springer
%C Berlin, Heidelberg
%U http://slubdd.de/katalog?TN_libero_mab2