Analysis of inconsistency in graph-based viewpoints: A category-theoretic approach (2003)

by M Sabetzadeh, S Easterbrook
Venue:In 18th International Conference on Automated Software Engineering (ASE’03