Rewriting Logic and Its Applications: 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers by Kazuhiro Ogata Back to product details page >
