Rebeca P. Díaz Redondo, José J. Pazos Arias, Ana Fernández Vilas. Reuse of Formal Verification Efforts of Incomplete Models at the Requirements Specification Stage. In Alejandra Cechich, Mario Piattini, Antonio Vallecillo, editors, Component-Based Software Quality - Methods and Techniques. Volume 2693 of Lecture Notes in Computer Science, pages 326-351, Springer, 2003. [doi]
Abstract is missing.