Refactoring Alloy Specifications

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