Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers Ogata Kazuhiro Heftet / 2024 / Engelsk
Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings Ogata Kazuhiro Heftet / 2016 / Engelsk
Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi Iida Shusaku Heftet / 2014 / Engelsk
Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings Ogata Kazuhiro Heftet / 2024 / Engelsk
