Kazuhiro Ogata · 3 obras en el catálogoObrasFormal Methods and Software EngineeringSpecification, Algebra, and SoftwareRRewriting Logic and Its ApplicationsRewriting Logic and Its Applications