Author

Kazuhiro Ogata

Books3

Typical spice

Nothing rated yet

Rewriting Logic and Its Applications

2024

not rated yet

Specification, Algebra, and Software

2014

not rated yet

Formal Methods and Software Engineering

2008

not rated yet