Automated verification of design patterns: A case study
Under an Elsevier user license
open archive
Keywords
Object-oriented design
Modeling and specification
Automated verification
Visual languages
Design description languages
Cited by (0)
Copyright © 2013 Elsevier B.V. All rights reserved.