1A.Blewitt,A. Bundy,I. Stark.Automatic verification of design patterns in Java[].Proc th IEEE/ACM International Conference on Automated Software Engineering.2005
2L. Zhao,X. Zhao,Q.Long,Z. Yan.A type system for the relational calculus of object systems[].th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS‘).2006
