Massoni, Tiago books & textbook
Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings (Programming and Software Engineering)
Massoni, Tiago Mousavi, Mohammad Reza
Springer /2018-10-24 Paperback / 281 Pages
isbn-10: 3030030431 / isbn-13: 9783030030438
A Model-driven Approach to Refactoring: Relating transformations in object models and programs
LAP LAMBERT Academic Publishing /2012-03-14 Paperback / 232 Pages
isbn-10: 3848409844 / isbn-13: 9783848409846