Kazuhiro Ogata

Books by Kazuhiro Ogata

• Rewriting Logic and Its ApplicationsRewriting Logic and Its Applications2024
• Formal Methods and Software EngineeringFormal Methods and Software Engineering2008
• Specification, Algebra, and SoftwareSpecification, Algebra, and Software2014

If you like Kazuhiro Ogata