Formal Methods in Software Engineering

Daniel Gaina

Email: daniel@jaist.ac.jp
Status: Collaborator

Publications

2014

On Automation of OTS/CafeOBJ Method

Daniel Gaina, Dorel Lucanu, Kazuhiro Ogata, Kokichi Futatsugi

Conference