Refactoring Alloy specifications

Rohit Gheyi, Paulo Borba
2003
Type
Conference paper
Publication
6th Brazilian Workshop on Formal Methods
comments powered by Disqus