Login / Signup

Compositional Verification of Architectural Refactorings.

Dénes BisztrayReiko HeckelHartmut Ehrig
Published in: WADS (2008)
Keyphrases