%0 Generic
%T Verification, Model Checking, and Abstract Interpretation 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings
%A Steffen, Bernhard
%A Levi, Giorgio
%I Springer Berlin Heidelberg
%@ 9783540208037
%K Computer science
%K Logic design
%K Software engineering
%K Computer Science
%K Konferenzschrift 2004 Venedig
%K Programmanalyse
%K Programmverifikation
%K Model Checking
%K Abstrakte Interpretation
%K Formale Methode
%D 2004
%C Springer Berlin Heidelberg
%C Berlin, Heidelberg
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation