Formal Methods and Software Engineering Altri libri di Kazuhiro Ogata, Mark Lawford & Shaoying Liu

Rewriting Logic and Its Applications

2024