A Logical Fault Model for Library Coherence Checking

Shing-Wu Tung, Jing-Yang Jou. A Logical Fault Model for Library Coherence Checking. J. Inf. Sci. Eng., 14(3):567-586, 1998. [doi]

Abstract

Abstract is missing.