A Static Semantics for Alloy and its Impact in Refactorings

Rohit Gheyi, Tiago Massoni, Paulo Borba
2007
Type
Journal article
Publication
Electronic Notes in Theoretical Computer Science
comments powered by Disqus