Martín López Nores, Rebeca P. Díaz Redondo, José J. Pazos Arias, Jorge García Duque. An Improved Repository System for Effective and Efficient Reuse of Formal Verification Efforts. In 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November - 3 December 2004, Busan, Korea. pages 38-45, IEEE Computer Society, 2004. [doi]
Abstract is missing.