TReMer: A tool for relationship-driven model merging (2006)

by Mehrdad Sabetzadeh , Shiva Nejati
Venue:In 14th International Symposium on Formal Methods (FM’06), 2006. Tool Demonstration
Citations:4 - 4 self