Rewriting Logic and Its Applications
Subtitle: 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers
Publisher: Springer
Published: 2024
Language: eng
ISBN-13: 9783031659409