Formal Methods and Software Engineering More Books by Kazuhiro Ogata, Mark Lawford & Shaoying Liu

Rewriting Logic and Its Applications

2024