Fu, Yujian, Dong, Zhijiang, Ding, Junhua
et al. (2008). Mapping Software Architecture Specification to Rewriting Logic
.
376-+. 10.1109/QSIC.2008.16
Fu, Yujian, Dong, Zhijiang, Ding, Junhua et al. (2008). Mapping Software Architecture Specification to Rewriting Logic
. 376-+. 10.1109/QSIC.2008.16