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

by M Sabetzadeh, S Nejati
Venue:In 14th International Symposium on Formal Methods (FM’06), 2006. Tool Demonstration