Refactoring Alloy Specifications

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

Abstract

Abstract is missing.