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

Martn Lpez Nores, Rebeca P. Daz Redondo, Jos Juan Pazos-Arias, Jorge Garca Duque

Browse the full APSEC paper archive.