Formal Methods and Software Engineering Más libros de Kazuhiro Ogata, Mark Lawford & Shaoying Liu

Rewriting Logic and Its Applications

2024