Global consistency checking of distributed models with TReMer (0)

by M Sabetzadeh, S Nejati, S Easterbrook, M Chechik
Venue:in ICSE ’08: Proceedings of the 30th International Conference on Software Engineering