author = { Chen, Xiaohong AND Roşu, Grigore Xiaohong Chen and Grigore Roşu },

title = { Matching mu-Logic: Foundation of K Framework (Invited Paper) },

publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},

keywords = { Reachability logic , Matching mu-logic , Program verification },

year = {2019},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }