A complete set of object modeling laws for Alloy

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