Formally Introducing Alloy Idioms

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