Refactoring Alloy Specifications

Rohit Gheyi, Paulo Borba. Refactoring Alloy Specifications. Electronic Notes in Theoretical Computer Science, 95:227-243, 2004. [doi]

No reviews for this publication, yet.