Type-safe refactorings for Alloy

Rohit Gheyi, Tiago Massoni, Paulo Borba
2005
Type
Conference paper
Publication
II Brazilian Symposium on Formal Methods (SBMF 2005)
comments powered by Disqus