Synchronizing Model and Program Refactoring

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