Formal Methods and Software Engineering Sách Khác Của Kazuhiro Ogata, Mark Lawford & Shaoying Liu

Rewriting Logic and Its Applications

2024