Rebeca P. Díaz Redondo, José J. Pazos Arias, Ana Fernández Vilas, Jorge García Duque, Alberto Gil-Solla. Improving the Consistency Checking Process by Reusing Formal Verification Knowledge. In Manfred Broy, Alexandre V. Zamulin, editors, Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers. Volume 2890 of Lecture Notes in Computer Science, pages 366-380, Springer, 2003. [doi]
Abstract is missing.