%0 Generic
%T Matching mu-Logic: Foundation of K Framework (Invited Paper)
%A Chen, Xiaohong
%A Roşu, Grigore
%A Xiaohong Chen and Grigore Roşu
%I Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%K Reachability logic
%K Matching mu-logic
%K Program verification
%D 2019
%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