"Reuse of Verificatino Efforts and Incomplete Specifications in a ..."

Rebeca P. Díaz Redondo, José Juan Pazos-Arias (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics