![](/img/cover-not-exists.png)
[IEEE 31st IEEE Software Engineering Workshop (SEW 2007) - Columbia, MD, USA (2007.03.6-2007.02.8)] 31st IEEE Software Engineering Workshop (SEW 2007) - Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns
Stephenson, Zoe, Stephenson, Zoe, Stephenson, Zoe, Stephenson, Zoe, Stephenson, Zoe, Stephenson, Zoe, Stephenson, Zoe, Stephenson, Zoe, Stephenson, Zoe, McDermid, John, McDermid, John, McDermid, John,Year:
2007
Language:
english
DOI:
10.1109/sew.2007.36
File:
PDF, 126 KB
english, 2007