Reuse of Verificatino Efforts and Incomplete Specifications in a Formalized, Iterative and Incremental Software Process.

Rebeca P. Daz Redondo, Jos Juan Pazos-Arias

Browse the full ICSE paper archive.