A Static Semantics for Alloy and its Impact in Refactorings

Publication
Electronic Notes in Theoretical Computer Science
comments powered by Disqus