Formal Methods in Software Engineering

Kazuhiro Ogata

Email: fmse.info.uaic.ro
Status: Collaborator

Publications

2014

On Automation of OTS/CafeOBJ Method

Daniel Gaina, Dorel Lucanu, Kazuhiro Ogata, Kokichi Futatsugi

Conference