Compositional Verification of Architectural Refactorings.

Dnes Bisztray, Reiko Heckel, Hartmut Ehrig

Browse the full ICSE paper archive.