Yassine Lakhnech

1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development
Job Zwiers et al. (1996) · FME'96: Industrial Benefit and Advances in Formal Methods