Steve Easterbrook, John R. Callahan, Virginie Wiels. V & V through Inconsistency Tracking and Analysis. In Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998. pages 43-49, IEEE Computer Society, 1998. [doi]
Abstract is missing.