Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development.

Job Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever, Frank A. Stomp

Browse the full FM paper archive.