title = {Modular Completeness: Integrating the Reuse of Specified Software in Top-Down Program Development },
    author = {Zwiers, Job and Hannemann, Ulrich and Lakhnech, Yassine and Stomp, Frank and De Roever, Willem-Paul},
    year = {1996},
    booktitle = {Formal Methods Europe, FME'96 Symposium},
    series = {Lecture Notes in Computer Science},
    volume = {1051},
    team = {DCS},

Sections de Publications

Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 1054226