Formal Use of Design Patterns and Refactoring.

Long Quan, Zongyan Qiu, Zhiming Liu

Browse the full ISoLA paper archive.