Kazuhiro Ogata Member Status: Collaborator E-mail: fmse.info.uaic.ro Publications 2014 On Automation of OTS/CafeOBJ Method Kokichi Futatsugi and Kazuhiro Ogata and Daniel Gaina and Dorel Lucanu Futatsugi Festschrift 2014 BIB
On Automation of OTS/CafeOBJ Method Kokichi Futatsugi and Kazuhiro Ogata and Daniel Gaina and Dorel Lucanu Futatsugi Festschrift 2014 BIB