%0 Generic
%T Dynamic Frames in Java Dynamic Logic Formalisation and Proofs
%A Schmitt, Peter H.
%A Ulbrich, Mattias
%A Weiß, Benjamin
%I KIT, Fakultät für Informatik
%D 2010
%C KIT, Fakultät für Informatik
%C Karlsruhe
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation