Kazuhiro Ogata

Books
Rewriting Logic and Its Applications Rewriting Logic and Its Applications
Rewriting Logic and Its Applications
2024
Formal Methods and Software Engineering Formal Methods and Software Engineering
Formal Methods and Software Engineering
2016