Paulo Borba
Home
Projects
Publications
Posts
Courses
Talks
Students
Contact
Synchronizing Model and Program Refactoring
Tiago Massoni
,
Rohit Gheyi
,
Paulo Borba
2011
Cite
Type
Conference paper
Publication
Revised Selected Papers of the 13th Brazilian Symposium on Formal Methods (SBMF 2010), LNCS
Please enable JavaScript to view the
comments powered by Disqus.
comments powered by
Disqus
Cite
×