Boosting the Reuse of Formal Specifications.

Mariano M. Moscato, Carlos Gustavo Lpez Pombo, Csar A. Muoz, Marco A. Feli

Browse the full ITP paper archive.