@inproceedings{8e8ff99f060b49108243d152b964db4a,
title = "Matching µ-logic: Foundation of K framework",
keywords = "Matching µ-logic, Program verification, Reachability logic",
author = "Xiaohong Chen and Grigore Ro{\c s}u",
note = "Publisher Copyright: {\textcopyright} Xiaohong Chen and Grigore Ro{\c s}u.; 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019 ; Conference date: 03-06-2019 Through 06-06-2019",
year = "2019",
month = nov,
doi = "10.4230/LIPIcs.CALCO.2019.1",
language = "English",
series = "Leibniz International Proceedings in Informatics, LIPIcs",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",
editor = "Markus Roggenbach and Ana Sokolova",
booktitle = "8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019",
}