An Improved Repository System for Effective and Efficient Reuse of Formal Verification Efforts.

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. 38-45 2004 conf/apsec/2004 APSEC http://doi.ieeecomputersociety.org/10.1109/APSEC.2004.28 db/conf/apsec/apsec2004.html#NoresRAD04