Formal Methods in Software Engineering

Kokichi Futatsugi

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

Publications

2014

On Automation of OTS/CafeOBJ Method

Daniel Gaina, Dorel Lucanu, Kazuhiro Ogata, Kokichi Futatsugi

Conference