Daniel Gaina Member Status: Collaborator E-mail: daniel@jaist.ac.jp 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