Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He. Mapping Software Architecture Specification to Rewriting Logic (Short Paper). In Hong Zhu, editor, Proceedings of the Eighth International Conference on Quality Software, QSIC 2008, 12-13 August 2008, Oxford, UK. pages 376-381, IEEE Computer Society, 2008. [doi]
Abstract is missing.