%0 Generic
%T A Rewriting Logic Semantics Approach to Modular Program Analysis
%A Hills, Mark
%A Rosu, Grigore
%A Mark Hills and Grigore Rosu
%I Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%K K
%K rewriting logic semantics
%K program analysis
%D 2010
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation