Formal Use of Design Patterns and Refactoring - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Long Quan, Zongyan Qiu, Zhiming Liu. Formal Use of Design Patterns and Refactoring. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings. Volume 17 of Communications in Computer and Information Science, pages 323-338, Springer, 2008. [doi]

This author has not been identified. Look up 'Long Quan' in GoogleThis author has not been identified. Look up 'Zongyan Qiu' in GoogleThis author has not been identified. Look up 'Zhiming Liu' in Google

runs on WebDSL