A Model-driven Approach to Formal Refactoring

Publication
Poster session, 20th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (OOPSLA 2005)
comments powered by Disqus