Verification of Architectural Refactorings by Rule Extraction (2008)

by D Bisztray, R Heckel, H Ehrig
Venue:In FASE ’08. LNCS 4961