Some Engineering Applications of the OTS/CafeOBJ Method

Petros S. Stefaneas, Iakovos Ouranos, Nikolaos Triantafyllou, Katerina Ksystra. Some Engineering Applications of the OTS/CafeOBJ Method. In Shusaku Iida, José Meseguer, Kazuhiro Ogata, editors, Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi. Volume 8373 of Lecture Notes in Computer Science, pages 541-559, Springer, 2014. [doi]

Abstract

Abstract is missing.