Flexible consistency checking

Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein, Ernst Ellmer. Flexible consistency checking. ACM Transactions on Software Engineering Methodology, 12(1):28-63, 2003. [doi]

Abstract

Abstract is missing.