Formal Methods and Software Engineering Plus de livres par Kazuhiro Ogata, Mark Lawford & Shaoying Liu

Rewriting Logic and Its Applications

2024