Kazuhiro Ogata

Kazuhiro Ogata

2 books in the database

Books

Formal Methods and Software EngineeringKazuhiro Ogata

Formal Methods and Software Engineering

Kazuhiro Ogata · 2008

Rewriting Logic and Its ApplicationsKazuhiro Ogata

Rewriting Logic and Its Applications

Kazuhiro Ogata · 2024

Co-authored books and collections

Books that list Kazuhiro Ogata among their authors but not as the lead author: co-written works, collections and compilations.

Specification, Algebra, and SoftwareShusaku Iida

Specification, Algebra, and Software

Shusaku Iida · 2014