Kazuhiro Ogata

No bio available. Add one in Open Library.

Books by Kazuhiro Ogata (50 max)

+ shelf+ list

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

2008

Kazuhiro Ogata, Mark Lawford, Shaoying Liu

+ shelf+ list

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi

2014

Shusaku Iida, José Meseguer, Kazuhiro Ogata

+ shelf+ list

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

2024

Kazuhiro Ogata, Narciso Martí-Oliet