Jie Yuan, Huaikou Miao, Liang Cai. A Design Pattern Verifier in Two-Tier Programming Environment. In 2004 International Conference on Computer and Information Technology (CIT 2004), 14-16 September 2004, Wuhan, China. pages 1081-1086, IEEE Computer Society, 2004. [doi]
Abstract is missing.