Rewriting Logic and Its Applications 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers Bae, Kyungmin Heftet / 2022 / Engelsk
Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings Bae, Kyungmin Heftet / 2018 / Engelsk