%0 Book
%T Program verifier Tatzelwurm the correctness an completeness of the generation of the verification conditions
%A Käufl, Thomas
%I Univ., Fak. für Informatik
%K Tatzelwurm Programm
%D 1989
%C Univ., Fak. für Informatik
%C Karlsruhe
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation