Min Zhang, Kazuhiro Ogata. Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications. In Byoungju Choi, editor, Proceedings of the Ninth International Conference on Quality Software, QSIC 2009, Jeju, Korea, August 24-25, 2009. pages 406-411, IEEE Computer Society, 2009. [doi]
Abstract is missing.