"On Automation of OTS/CafeOBJ Method."

Daniel Gâinâ et al. (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics