%0 Book
%T Verification, model checking, and abstract interpretation 5th international conference, Venice, January 11 - 13, 2004 ; proceedings
%A VMCAI 5 2004 Venedig
%A Steffen, Bernhard
%I Springer
%@ 3540208038
%K Computer programs Verification Congresses
%K Konferenzschrift 2004 Venedig
%K Programmanalyse
%K Programmverifikation
%K Model Checking
%K Abstrakte Interpretation
%K Formale Methode
%D 2004
%X Literaturangaben
%C Springer
%C Berlin
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation