Treffer: Automatic verification of Java design patterns

Title:
Automatic verification of Java design patterns
Source:
Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001) Automated software engineering Automated Software Engineering, 2001. (ASE 2001). Proceedings. 16th Annual International Conference on. :324-327 2001
Relation:
Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001)
Database:
IEEE Xplore Digital Library