Rewriting Logic and Its Applications Rewriting Logic and Its Applications
2024
Formal Methods and Software Engineering Formal Methods and Software Engineering
2016