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

• Authors:

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

• Affiliations:

• -;-;-;-;-

• Venue:
• FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
• Year:
• 1996