Incorporating a Reuse Model to the RAISE Formal Method.

Daniel Riesco, Laura Felice, Narayan C. Debnath, German Montejano

Browse the full IRI paper archive.